When I was writing my comment, it felt like my idea was too obvious for no-one to have already written it up as a formal specification.