Some more refactoring; use online versions of jquery{,-ui}