README formatting. TODO: update it away from the original notes.