took me ages to realise this was in a comment. Can't we just delete it?