It seems to me that the differential between those who know what a bookmarklet is and those who know that you can see everything in the settings menu is very sm

It seems to me that the differential between those who know what a bookmarklet is and those who know that you can see everything in the settings menu is very small. So you're not talking about a huge effect here.