Here is an alternative Piped link(s): https://piped.video/watch?v=ojhaUNYetsU

Piped is a privacy-respecting open-source alternative frontend to YouTube.

I’m open-source, check me out at GitHub.

I did not know about the shopt command! Very interesting, thank you.

However, while your description refers to a GitHub Gist, there doesn’t seem to be a link to it.

Cool hack!

… autocd is a feature I thought was missing long ago… But I don’t think I could bring myself to enable it now 😁