Should ileal pouch–anal anastomosis include mucosectomy?