in src/main/kotlin/com/jetbrains/micropython/run/MicroPythonRunConfiguration.kt [134:138]
override fun writeExternal(element: Element) {
super.writeExternal(element)
element.setAttribute("path", path)
element.setAttribute("runReplOnSuccess", if (runReplOnSuccess) "yes" else "no")
}