debbugs documentation revamp