Just a heads up for the next few days: due to a sudden storm in Virginia, Maryland, and DC, hundreds of thousands of people are out of electricity, including yours truly. As a result, we most likely will not have many (or any) new posts for a while because even typing this post on my rapidly dying phone is not fun.
So don’t forget about us in the next week; we are just taking a vacation that was not planned at all.
Happy Fourth of July!