nobody else complained about that, closing as discussed on IRC the bug can be reopened if the issue is still there later
nobody else complained about that, closing as discussed on IRC the bug can be reopened if the issue is still there later