do your developer friends use linux laptops, or windows running linux vm?