Removed outdated unmaintained appendix.