I already anticipated that joke and decided that making it put you irrevocably into the “clever joke for pedantic nerds” category of weird