front page: Highlight text about links to lecture notes