Read The F* Manual? Write a better f* manual

ApacheCon presentation is here. More coming soon.