Partially revert 194107ea9333c1d9d61abf307db2da6a699847af

This reverts the numbers for T9203.

Signed-off-by: Austin Seipp <austin@well-typed.com>