@mudasobwa, I use and can recommend a similar tool for discovering terminal commands. Never had enough practice to learn them thoroughly.