Thanks BenLurkin. Apropos of nothing, there's some flakery on YT and elsewhere that the end of the world is coming in September.