National Day is, in fact, over

To clarify, as it's now after midnight, today (August 10) is not National Day. August 9 is National Day. By the time I was done writing that post and configuring the publishing settings for my blog, it was August 10. Funny how a matter of tiny tick-tocks can push an entry over the edge.