Isn't this exactly what he explained? The user has a easy toggle on their dashboard to rotate credentials - and if he needs a hand with it, contact their support for some help.
E.g. I remember reading that Amazon even scans Github for AWS credentials proactively now, since this happened all the time.