Final polished version of my Yuletide assignment is posted! FWIW the 'Docs to Markdown' extension in Google Docs has an HTML version and it's very convenient to use.