Is there a way to change the name of the default marvel index

Do we have any update regarding this as currently we have Marvel 2.4 rolled out. I am facing a similar requirement : Change default index name for marvel.agent.exporters