[doc] version selector drop-down menu cannot be opened
It just doesn't do anything. No message in browser console.
I suspect this is related to the script tag for bootstrap.min.js being (unintentionally?) deleted in 195843671127671da9e3ddbc5d3a9fe44d15daba while adding hypothes.is.