Happy St. Patrick’s Day, all.