How to specify a port different from 443 for the DVSNI challenge

Thanks for the quick answer @pfg and elaborating this in detail, @schoen

Is there some kind of description regarding the DNS TXT record method?