PDF Export

Reading this thread, I’m thinking : yes, it is time for a nice searchable documentation to arrive ^^