#KJ-112 Move editing changes from the report back into K code. Moved the text back from the technical report to the k file. Things mostly look good, although the conversion is not finished yet. Still don't know if this work is useful or a waste of time.