Thanks for the topic!
How long will the link to the fix remain valid?
Do we need to find a more permanent home for it?
I don't think it will ever expire. It is my Goggle Drive, so it should remain there until I remove it (and that I am not intended to do, of course).