TechNotes Gradually moving my library of technology notes from local text files into Markdown in GitHub.