[gspr]

Sorry for not noticing your PR before filing the bug.

I still find the way they (partially) dealt with this a bit worrisome.