In this document, $TOMCAT_HOME is used to refer to the absolute path of the directory containing the working Tomcat server, and $WORK_DIR is used to refer to the directory you prefer to work in.
Steps to upgrade Tomcat
1. Unzip the new downloaded Tomcat9.zip archive into the $WORK_DIR
...