Text this: External laryngocele in an adult: a case report