For the last year or so I've been using GitHub gists to record notes on various procedures in markdown to fill in the gaps between projects that have their own

For the last year or so I've been using GitHub gists to record notes on various procedures in markdown to fill in the gaps between projects that have their own repos and markdown doc. Most of my casual notes get jotted down in Google Keep, but if they're involved enough I either put them in a markdown file on Drive or in a Google doc. Over the years I've tried a bunch of different proprietary notetaking apps, including OneNote and Evernote. Migrating off those is always a pain, and I've got the ugly conversion scripts to prove it (each of which became useless thereafter with some change by the publisher). I started out 30 years ago with paper notebooks, that I'd still be on now but for the siren's song of searchability offered by electronic systems. While the OP's prose is fine, I can't say I identify with most of his points. Notetaking for me has always been a way to record and organize information for future reference, not a means of procrastination. Same for technical documentation. But maybe that's because I've always been a tech at heart, and not an artist.