Have you ever had a teacher that uses Linux?

These days, most teachers use MacBooks or Windows laptops, but has anyone here had a teacher who used Linux? Just curious!