Bringing GHC token allocation into line with the HSE one.