Solucionado Realizar backup contactos

[quetzalcoatl67]

Tengo un Xiaomi Note 5 A, y me gustaría saber como realizar un backup de mis contactos. Así como luego restaurar ese backup.
No encuentro la opción de exportar por ningún lado.
Muchas gracias.

[quetzalcoatl67]

Después de mucho indagar y buscar, al final lo he conseguido.
Una vez en "Contactos", dejar pulsado el botón de abajo a la izquierda, y aparece el menú correspondiente.
Se puede cerrar el tema.

[dnfuentes]

Marcamos la consulta como solucionada @quetzalcoatl67: