No more data dumps in extensions -- use install.php to populate data. Other random changes to extensions.