To the people who posted comments late yesterday afternoon—they somehow got deleted by accident. Huge apologies, and if you'd like to repost them, I'll make sure they get through this time.
