Documentation/plan: No red link borders in PDFs