Whilst this is a photo copy, and some of the pages are a little askew, it was all readable and intact. A real bonus finding an old manual for a classic piece of kit that no other site had.
It was easy done, and I got exactly what I was looking for.
Text excerpt from page 9 (click to view)
Emptying the water tank
A warning light on the control panel will come on when it is time to empty the water tank. If it is operating when this happens, the dryer will stop automatically until the tank is emptied. It is a good idea to get into the habit of emptying the tank either before or after each load. To empty the tank: 1. Open the door. 2. Pull out the tank (Fig. A). 3. Open the tank lid and pour the water out (Fig. B). 4. Close the lid and push the tank back into place. Press it home until you can feel that it is properly in place.