What should we name the laser cutter?

This poll has ended (since 4 months).

For information on our COVID-19 response, click here.