When using the built-in PHP server, some links generate with double port numbers (see attachment).

Note: the bug does not seem to occur predictably, but two observed cases are:

• Edit button in UDW
• Layout switcher in Page Builder