src/doc/redirect.inc

<meta name="robots" content="noindex,follow">
<link rel="alternate icon" type="image/png" href="../favicon-32x32.png">
<link rel="icon" type="image/svg+xml" href="../favicon.svg">