Rewrite and move the monad-state hack note

The note has been rewritten by @simonpj in !3851

[skip ci]