I'm not sure how urgent it is, but I created #885.