I was just looking for the Leo bug-tracker, and clicked on an old link in my bookmarks:
I was about to file a new bug, but because I did not find much on latex there, I got suspicious and looked at the date of the new issues: 2017.
Then it occurred to me, that this was the wrong website.
Perhaps it would be a good idea to remove that bug tracker on Launchpad?
- Josef