New: uninstall.php to remove docs and options upon uninstall.