[usermanual] Make sure URLs to external HTML files aren't getting .php appended