And what have we learned? Never blindly merge a pull request!