For older users of PubTools: * JavaScript file changed from pubtools-gears.js to just pubtools.js * You must now include pubtools-util.js into your page as well, before loading anything else