If that PR were merged, whoami.filippo.io would still work the same. It would just receive signed requests instead of queries.