Reporting Bugs

(*): bug report rewritten and closed :

In case the “history” of a bug report becomes long and clumsy (for example a behaviour was reported, which is a side effect of another problem), it’s convenient to close it and open a new report.