Good idea, done (see below in the github view).