[empthought]

You would have never made a pull request for SQLite anyway, since anyone in a position to do that would know they don't use GitHub.