diff's Notes

Notes submitted or commented on by diff