#73 SeText docs: remaining updates related to move.

1 job for 73-merge-setext-documentation-into-escet-documentation in 0 seconds (queued for 47 seconds)