Add some links to relevant lecture notes. Note that these can't be followed
from the trace viewer's explanation control at the moment. Perhaps we will
change the explanation control to render as HTML using WebView.