Habryka comments on 11/​07/​2017 Development Update: LaTeX!