Convert RFC URLs to their HTML versions.