Update margot to compile it with some recent arti milestone/tag.

and add some documentation.

As commented at team#215 (comment 2799461) and as part of team#58.