Fix #1: "Add link to top level plugin names in home.html"