Troubleshooting
This page aims to record the solutions to obscure problems.
GitHub
To delete a release, do not click on "Edit", instead click the release title name. Then the "Delete" button will be available.
Citrix
Use the web version when possible. To download a file, use the "download" icon which should appear. It may not be possible to use the Windows Explorer interface anymore.