Update Proof to 0.0.27.
Move `notes.js` into diary.