TeX code/figures for spacious manual