FetchGerritChangePage: also try to determine the patch set number