Add a link to the installation instructions on Tomcat 7