All: Update bug tracker from Trac to GitHub, make some HTTP links HTTPS #192

Closed mgol closed 3 years ago