pdf-link-checker – check for broken hyperlinks in PDF documentsgithub.com/bootlin3 pointspabs35 years ago