Johannes C. Mayer comments on Do-Divergence: A Bound for Maxwell’s Demon