Bile‐acid enteroliths and jejunal diverticulosis