Thanks. I understand the problem with editing core files, and I did have to remember to edit the new files when WP updated, but I also want consistency in my site (for instance, I prefer “email” to “e-mail”); however, I’m tired of doing that, so I will probably leave it as is. Thanks again.