change Github mentions to Tangled
add missing preferences (tangled 💢)
xan.lol 3 months ago aaa42ed0 acbbc1c9