Pagination options in the Divi Gallery Extended plugin