Miscellaneous JavaScript routines and libraries