[development] Suggestions for improving the issue tracker