Aha.. yes I have installed stuff from Extras Devel but that was ages ago and I haven't done anything for a while since before that. So if all else fails I backup, reflash, and reinstall without touching Extras Devel, I guess is what you're saying.