Improvements
Note: these improvements from January 2020 are not related to the Node 12 / Gulp 4 upgrade and can be released indepedently, which is what we're doing with this release.
- 77cd34e Use a hardcoded port for the Express server
- 90bdcf8 Update Pug dependencies
