Very good idea! Done in 9de6dc31fd9552c95e84fadf72044e420146ee3a.