DOC : fix main-page tags

<pre> -> <tt> for inline markup.