Hello Jane Landreth,
There is no standard procedure for removing Developer Key - If you want to limit the the User from developing remove the development(S_DEVELOP) access from user.
If you still want to remove the developer key from the system you can remove from table DEVACCESS refer to below link.
How to remove old keys of developers DEVACCESS table - Security and Identity Management - SCN Wiki
Regards,
Gangadhar