Replace ./lib/Mojolicious/public/mojo/prettify/ with links to Debian
package, as soon as there is one ...
