change Github mentions to Tangled & add files missing from PR
add preferences for disable metrics (tangled 💢)
xan.lol 3 months ago 7b5fc0cf acbbc1c9