What should we name the laser cutter?

This poll has ended (since 8 months).

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