I chose "pinball" over "emilia-pinball", because the former seems to be much more widely used in distributions.