That's great! I didn't know that Arch had online manpages too. I frequently use https://manpages.debian.org/ for similar reasons.