Document --print-paths-and-exit (#1704)

Document --print-paths-and-exit (#1704) #1191