fixup! (#113) documentation: manual on infrastructure and tools