Por la querencia que tengo al papel impreso, muchas veces echo de menos esta opción de exportación. En ExeLearning, dando un pequeño rodeo, podemos obtener nuestros ODEs en pdf:

1. Archivo -> Exportar -> Sitio web -> Página html única. Luego abres el index.html -> imprimir ->guardar como pdf
2. Archivo -> Exportar -> EPUB3 -> Importar el epub en el programa Calibre y convertirlo a pdf