fisherman/bobthefish
fisherman/getopts
oh-my-fish/plugin-grc
fisherman/shark