Move PDF to libarsenal docs.
Silly: get rid of typedefs.