If this was to be done by Arduino, I think it's very important for it to be set up to update automatically so that the PDF version is always in sync with the latest Language Reference content.