HedgeHog project, binaries, documentation