developer manual removed. Maybe it would be preferrable to have benchmarks from a given reference version?