Draft of path ops blog#78

raphlinus wants to merge 2 commits into

mainraphlinus/raphlinus.github.io:mainfrom

pathops1raphlinus/raphlinus.github.io:pathops1Copy head branch name to clipboard