Der kostenlose Dokument-Manager Documents (ausführlich haben wir die App zuletzt im Februar ) liefert mit der jetzt ausgegebenen Aktualisierung auf Version 5.1 mehrere Funktionen nach, die vor allem die hier mitlesenden die «Power-User» erfreuen dürften. So versteht sich Documents ()