Remove obsolete options relating to prodauth/prodapi.