advanced topics#

(originally titled “miscellaneous”, but “advanced” sounds fancier)