pdf-tools enthält den pdf-view-Modus, der einige Funktionen bietet, die im doc-view-Modus nicht vorhanden sind (siehe Ende der Frage). Kann der PDF-Ansichtsmodus generell als Ersatz für den Doc-Ansichtsmodus verwendet werden oder muss er "toolweise" sein? Ist es in beiden Fällen erforderlich, die...