minor fixes that can wait till after 4.20
Try a different search query. Learn more about searching and filtering issues and pull requests.