Currently the only way to rename a resource pool is to delete the old pool and then create a new pool with the new name and then add all the resources to it.
It would be great to have a functionality to directly rename the already created Resource Pool.