When opening bugs and pull requests, new convention...

If the bug or pull request about a module, please open a bug like

“description” as

“module_name module: description”

This lets us easily tell what the ticket is about.

Saves us from having to rename everything :slight_smile:

Thanks!