More doc fixes

- TICK_x implies many different x values, actually there are only 3.
- Double negatives are not not bad (i.e. they are bad, and confusing).
- Copy paste error s/memmon/httpok/