web interface: Allow PDF upload