clarify endpointedness of paths, close #423 and #425
add e4390a0 to errata (unmarked)
Merge pull request #427 from mikeshulman/homotopiesrel

clarify endpointedness of paths, close #423 and #425