Update dev notes.
Update history.