[housekeeping] national holiday

To non-English readers:

As it's a national holiday today, blogging will resume only in the evening. Have a good day too in your various respective ways, people.