Ah, I'm so glad that Github allows animations in pull request comments. They really increase the level of discourse!