"Guardar como PDF..." en el submenú de Safari

Si se pregunta si es posible para modificar la interfaz de usuario de Safari, la respuesta es claramente sí, pero si la pregunta es si hay una manera directa de modificar el contenido de los menús en un programa enviado por Apple, la respuesta es tristemente, no, no sin un profundo hackeo.

Sin embargo, hay soluciones. Se podría escribir una extensión de Safari para añadir un elemento a la barra de herramientas o a un menú contextual, aunque no a la barra de menús. Escribir esa extensión sería una cuestión de desarrolladores más allá del alcance de este sitio.

Un servicio de automatización que llame a un AppleScript para guardar la página actual como PDF podría añadirse al Safari (no el menú Archivo) y se le asigna un atajo de teclado.

Sin embargo, hasta donde yo sé, añadir un comando al Archivo no es posible a través del mecanismo de extensión estándar (es decir, soportado), y requeriría hackear los binarios de Safari.