And I've used git nearly every day for more than a decade and written a git client, and this is the first time I've heard of notes. Thanks!