Not related beyond us both wanting to make GitHub issues better :)