Fix #770: What's this repo is about