Quick vacation

It is time for a quick vacation.

In the past, I tried publishing here while on vacation, I'll refrain from it this time. Please do your best not to acquire anyone until end of August. See you all next month!