We don't have any document libraries, so I set
User.Access.document=false in webacc.cfg and restarted Apache and
Tomcat. But the documents button/link still shows up. Is there
something else I need to do?

Ken