Fix #216: Ensure PDF highlighter does not clobber `<screen>` blocks.