Interesting. I just changed the name of an extension, and so far, I believe I have changed the name everywhere, except the button. In the web admin interface for fop2, the name is changed, but on the web interface it still shows the old name. The queue this person is in also references the old name.
I'm at a loss. It has to be a database entry. I searched the files in the config directory (by directory, I mean /etc, /var, and /usr) and nothing references the old name.