no longer hardcode port number for /dev page