rAKA/doc/manual/manual-introduction.tex

bugfixes/broken_dumper_…10c849b800ee56e02165cc1…