Sophie
<meta http-equiv="refresh" content="0; url=Saving-Data-on-Unexpected-Exits.html#doc%2doctave%5fcore%5ffile%5foptions">