@darius Probably Cox Orange (= Cox's Orange Pippin). But there are ... https://mathstodon.xyz/users/uffe1974/statuses/111053867033724116