Supporting documentation for SADI manuscripts and tutorials