not necessary on linux, either Puntuado con 2 de 5 estrellas

Linux users, like Mac users, also are able to print to pdf. Just choose file -> print -> print to file, and choose pdf. Thus, this addon is not necessary for linux users.