@rolfje you know what's really polite? not wasting my time with a meaningless "thanks!" email. Yeah.