Time for HTML5?
Despite HTML5 apparently not being completely ready until 2022 (yes, 2022. Will people on Mars care about the Internet?), it might be worth exploring HTML5 for a refresh for this site. I'd like to learn more about HTML5, so redoing this site would be good practise as well as updating it and changing the look.
