My long-awaited (and well-deserved) vacation is approaching, so I’m letting you know that I’ll be offline from August 10th to 30th, except for a few quick visits.
To everyone going on vacation, as well as to those remaining at work, I extend my warmest wishes for a peaceful time.