<b>≡ > Tools > Export</b> can be used to backup your profile, or to get to your profile directory quickly.
<b>≡ > Herramientas > Exportar</b> se puede usar para hacer una copia de seguridad de tu perfil, o para acceder a tu directorio de perfil de forma rápida.