It uses custom fields. You just add a little snippet to the very top of header.php template file. Create a page with the link title that you want, and add a custom field to it with key ‘redirect’ and value ‘url to hardlink to’
Yes, so If I use the code tags and I want to put a < inside of the code tags, it should automatically convert that into the &xx; code rather then me having to look up the character code and type it in.
Using this plugin with google code prettify. translates up to the code, but then stops and the rest of the page after the code block is then not translated. See this for example