Linkcheck fails too often spuriously to be part of CI