Rename a MongoDB Replica Set is not useful if you're working MongoDB Ops Manager
Documentation for renaming a MongoDB Replica Set is not useful when you use MongoDB Ops Manager. You should consider refactoring your documentation since renaming a MongoDB Replica Set which is managed by MongoDB Ops Manager does not work.
I had to rename a MongoDB Replica Set which is managed by MongoDB Ops Manager. As stated in your documentation, I suspended the MongoDB Replica Set in question from being managed by MongoDB Ops Manager and did all the changes you list in your documentation. Everything worked fine until I wanted to have the MongoDB Automation Agent restart the MongoDB Replica Set. From then one, mongodb automation agent claimed a mismatch of replica set configuration. I solved the iusse by building a fresh Replica Set with the new name. Luckily, data size wasn't that big so it went pretty quickly.