#15 Make 'run' script compatible with NixOS
#15 Bring DST up to date
#15 Remove 'topic' and 'quorums' from DejeDocument