Themes now work on the wiki; notification-bootcamp is updated to the
latest version