Comment by toddm

man -k has been working just fine for me for 30+ years