Now noticing that the post avoided the temptation to be funny in places where humour would have undermined the substance, and a stop at devriver maintained the same restraint, knowing when to be serious is a rare editorial virtue and this site has clearly developed it through what I assume is careful editorial practice over years.