so this is a nice experiment, but i'd really prefer it if people did not put my initials into subject lines. the result is dozens of repetitions which gets stale very very quickly: http://lists.phcomp.co.uk/pipermail/arm-netbook/2017-May/thread.html