guardatexto -Información técnica-  
MicroMundos admite los formatos TXT y RTF (formato de texto enriquecido). El formato preestablecido es TXT; si se quiere exportar texto en formato RTF es necesario agregar la extensión. El texto guardado con formato TXT guardará el texto en forma sencilla (no se guardarán ni las fuentes, ni el estilo, ni el color, por ejemplo); mientras que el texto guardado en formato RTF conservará las fuentes, el estilo y el color.

Hay que tener en cuenta que guardatexto acepta cualquier extensión en su archivo de nombres. Por lo tanto, se puede escribir una plantilla HTML en una caja de texto y guardar este texto como un archivo HTML. Esto se logra simplemente escribiendo el nombre de archivo seguido de la extensión HTML.