Also, the web server was recently updated to fix a problem with links from
the support forums to the manuals that started with the 4.31 release when we
changed our product identifiers for the various supported compilers/IDEs.
This change broke a lot of the links, but the web server now fixes the links
so that they are no longer broken.