habryka comments on Introduction to abstract entropy