Workaround pagedown not able to be minified. Fixes #118