Move appendix to supplement.tex