Document the change to +RTS -S/-s/-t