pdf-tools incluye pdf-view-mode que ofrece varias características que no están presentes en doc-view-mode (ver el final de la pregunta). ¿Puede pdf-view-mode ser usado como un reemplazo para doc-view-mode en general, o tiene que ser "herramienta" por herramienta? En cualquier caso, ¿es necesario...