Comment 7 for bug 705123

If nothing is going to be done, then the documentation is wrong (it still copiously tells the user about the session-management tab, etc.).

So this is a bug, which if not fixed in the code, should be fixed in the documentation (to make it tell the truth).