not necessary on linux, either Rated 2 out of 5 stars

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.