Clarify no coverage option.
Add AUTHORS file with Omer listed.
Clean up style.