codepdf uses a different header; el completion tweaks