Redirecting from
/doc/extras/mascot.html/
to
/doc/extras/mascot/