TurnTrout comments on Thoughts on implementing corrigible robust alignment