johnswentworth comments on Do-Divergence: A Bound for Maxwell’s Demon

[johnswentworth]

The daemon can indeed do that, and the theorem in the post is compatible with such a daemon.