that's a very good question :) - added it just now. For the other fix (moved the documents-block into the documents-plugin.) there is no ticket, so technically we weren't even allowed to do it...