Well, it
was called YouTube Options. Now I notice it's called
SPOI Options and appears to have been discontinued due to some Play Store policy nonsense (presumably
Thou shalt not make apps that make YouTube better by way of blocking our annoying ads), so sadly you'll need to find another extension (like
Magic Actions for YouTube) or pay $1.99/month for the privilege of using said plugin sans video downloading.