Use the `html5shiv-printshiv.js` script in the front end (see #6293)