Right now, it is quite hard to search for bug. As such, it is hard to prevent double reporting known bugs.

mage2069 10 Aug 2018:

... and I would promise to search before reporting a "new" bug... ;-)