Move the bug discussion to appendix, etc.