Added appendix with selected BIPs. Converted from mediawiki using pandoc and edited manually