Fix documentation for hot_standby_delay

Drop todo entry while we're at it.

The commit from april third seems to be already merged, that's a stray entry from an unclosed pull request.