Happy World Semicolon Day; it’s a good thing.