The old comments are now hidden, because lines 47-49 changed. There's no response to the last one, though. We think this solution is not good enough, due to the fact that it is extremely inconsistent and unexpressive. Also, the public API for developers is not clean this way.