Need help with API key rotation
The user exposed a service_role key and wants to regenerate both anon and service_role keys. They rotated the JWT secret but noticed the keys in Project Settings did not change. They seek confirmation on the correct procedure to regenerate these keys.