Issue #3257278: Fix loading the pug/pug.user library and the modules/contrib/pug/js/pug.js file in all pages
Closes #3257278