Fixed Lecture notes markup. Added missing fields to hackproposal section.