[@rianjs Member 13 years ago]

Incidentally, I know I can write a plugin to automate this with the after_switch_theme hook, but I’d rather fix the underlying bug.