Since jQuery is pretty much ubiquituos on at least the websites that use Javascript at all - and many of them are interesting for their plethora of tex content, e.g. all WordPress blogs - we could use it if it's available. That would mean using actual jQuery instead of our little replacement, and make sure refrag.js is compatible with both. (The replacement would then serve as gracefull fallback).
Since jQuery is pretty much ubiquituos on at least the websites that use Javascript at all - and many of them are interesting for their plethora of tex content, e.g. all WordPress blogs - we could use it if it's available. That would mean using actual
jQuery
instead of our little replacement, and make sure refrag.js is compatible with both. (The replacement would then serve as gracefull fallback).