Nice to have a link there for people who missed it.

If a patch is forthcoming (another patch!) then that can only be good news.