auto_build: Make pdf doc searchable, other minor