Does anyone know how to modify the man paths so that Terminal recognises it (ie it works when you right-click on a word an select “open man page”)? Someone asked this on Ask Different back in 2019 but there was no response. Editing /etc/manpaths wasn’t enough, obviously.