Please avoid starting to work on a pull request without having discussed the matter in an issue first.