I’m still conflicted a bit if maybe the new wiki would be a better place. My Github project is (to a casual googler) just some random bloke on the internet dumping some files, while the wiki is at least somewhat curated and official.

Doing both would be the best, obviously, but I’m also struggling with adulting, so I don’t have that much time on my hands.

I would see this rather as a starting point, or maybe a collection of pluggable flakes, I’m not sure yet.

That was my plan, but removing all the stuff specific to my setup takes a bit of time, so I wanted to test the waters first.