[doc: additional reason for not saving disassemblies
Andreas Röver <roever@users.sourceforge.net>**20060504144123] {
hunk ./doc/UserGuide.tm 2153
-    any gain in information.
+    any gain in information. Also saving and loading the disassembly
+    instructions takes a lot of time and memory, so if they are not really
+    needed they are just a waste of time.
}
