web
web copied to clipboard
Link checker doesn't check links
See https://github.com/root-project/web/issues/942
I had removed the link checker in e12004a7819ef53f15fbb4186ba81ba080e16c0e :facepalm: