See https://stackoverflow.com/questions/3224878/what-is-the-purp...

    $ type :
    : is a shell builtin