You can drag & drop the following bookmarklets to your bookmark bar instead of using a userscript manager:

• MS terminology search noJS (readable source)