docs

Bugs and issue trackers

Since we have code in two different places, issues and bugs are to be found in two different places: