Commentary on Polak How short is the shortest metric subdivision?