Simplify docs; we have specs