https://man7.org/ is the official website of the the Linux man-pages project. It documents the syscalls of Linux, among other things. kernel.org man-page URKs redirect to man7.org, for example https://www.kernel.org/doc/man-pages/online/pages/man2/read.2.html. Currently the programming lens doens't include either the man7.org URL or the kernel.org URLs, which redirect to man7. https://kagi.com/search?q=%22read%282%29%22&l=3.
