addons page is now filled using ajax, which makes it load much faster (see issue #92); fix in class.admin.php for old modules