Fix #1065: irrelevant redirection to HTML repr of a library

6 jobs for 1065-scanning-issue in 4 minutes and 53 seconds (queued for 2 seconds)