I just realized this is posting on Independence Day. Maybe I should do holiday posts at some point (other than just Valentine’s Day.)