Joined: 24 Oct 08
Now that there is a new Android app, is it time to update the Help page? The last revision was in June 2020 and includes a bunch of workarounds for the previous version.
Copyright © 2023 University of California. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.