Miscellaneous scripts to make easyNav friendlier.