Comment by andrewcooke

Comment on some small technical detail that I think is interesting, but that no-one else cares about.