SMS dit: Supplementary notes for an advanced DERIVE minicourse