ParentFull threaddiffeomorphism·Nah, the irony is that you think that this was not done on purpose. E.g. look at the hamburger menu on the top right.View on HN