What should we name the laser cutter?

This poll has ended (since 11 months).

Information on our COVID-19 response.