Collection of links to otherwise orphaned pages

Since I’ve cleaned up the site a bit, there were a few pages that fit nowhere, so this pseudo-post contains links to them, or else they might become unreachable for search engine crawlers. So:

• The optical simulator.
• The IP Masquerading lecture, in HTML format.
• The SELinux lecture, in HTML format.
• The online HTML highlighter.
• The old hobbies page.