Update: rename lecture notes