@mrencyclopedia@retro.pizza Rossum is the real deal though.