03-05-2013, 03:32 PM
No, the bugzilla bug reporting system is not obsolete. I read your report - several people reported the bug around the same time, but through different means. I apologize for not responding sooner - the bug is fixed in v4.0.6