First step towards Linux appendix

This is better.