Add comments explaining xencenter_min_verstring and xencenter_max_verstring