Path lifting can remember order even when homotopy forgets escape | Hacker News Reader