Text this: Appendix diverticulosis in a patient diagnosed on pathology after laparoscopic appendectomy for appendicular mucinous mass—case report and literature review.