Pātuhitia tēnei: Supplementary notes for an advanced DERIVE minicourse