Vacation

I'm on vacation until Monday, August 8. I hope that you are, too. Apologies in advance for slow response to emails, DMs, and GitHub mentions.