On 2024-Sep-18, Jelte Fennema-Nio wrote: > It seems a shame to remove those links from the HTML view where they > look acceptable and which most people will use, just because they look > bad in the pdf. And honestly, they don't even look that terrible in > the PDF imo.
Eh, someday maybe we should just get rid of the PDF build of the docs. It's given a ton of trouble over the years, it is not terribly convenient, and we don't even know whether it has any users or not. -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/ "At least to kernel hackers, who really are human, despite occasional rumors to the contrary" (LWN.net)
