Very good idea! Done in 9de6dc3.