Adjusted the technical note to better fit our current implementation and experiences.

It is not not of report-style, i.e. it is not formal in any sense and does not
go into details of how our solution looks like and why it is correct, but rather
discusses more informally the design process and trade-offs which have been
considered.
Merge branch 'master' of https://github.com/benjambj/TFE4140