modify note re tomcat manager-gui