Description
There is a hard-coded version number in src/documentation/content/xdocs/site.xml for the "plugins" entry. The problem only occurs with a link on the body of the index page and two links on the body of the linking.html page. These go to the generated plugins index, which thankfully is the same as a 0.8 generated index.
The workaround for users of the 0.8 release is to edit
main/fresh-site/src/documentation/content/xdocs/site.xml
to replace "plugins_0_70" with "plugins_0_80".
The workaround for users of the 0.8 release is to edit
main/fresh-site/src/documentation/content/xdocs/site.xml
to replace "plugins_0_70" with "plugins_0_80".