demo3 done
demo4 done, and also started to re-explore the question of when to
update what... inconclusive so far.