Update notes in main.rkt.