[throwaway984393]

Ha, I never knew about man -k - until now, and I've been doing this for 20 years! Thanks for the tip! (whatis is also a synonym for man -f, and apropos a synonym for man -k, apparently)