For completeness attached is a tiny patch implementing this, so thisthread can be added to the commit fest.