Feel free to update thie HowToInstallJbossTools wiki ;)
But your findings are correct.
I hadn't seen this page.
It would be nice to have some kind of official mention of the patch and the situations under which it might be required.
I've made the link to How to install jboss tools more dominant on our download page and this page describes the prerequisites including having a link to the blog that describes the WTP issue.