[Fix #1387] Expand the documentation of the DoubleNegation cop