namecoin dns: forward dns alias to hostname:port

[gotpetum]

Hi noobs :-)
My ISP blocks :80, so I have my registrar forward www.domain.com:80 to s.domain.com:8000. According to the docs (https://dot-bit.org/HowToRegisterAndConfigureBitDomains#How_to_configure_your_domain), I can "Do a translation step before delegation", but I'm not sure if or how I can use this feature to forward to a port.

Has anyone tried this? Do I need to read the DNS source code?

Thanks!