Hide users menu for non-admins (pull-request #284)