Ignore benchmark (again) and fix docs