@jwilker There’s a Comic Sans day, seriously? I had no idea. Might need to extend the holiday to include July 8th now.