Added View#getAllDocuments() with a crummy implementation (Issue #33)