• #social 2023-09-12
  • Prev
    Next
  • #social
#social ≡
  • ←
  • →
2023-09-12 UTC
# 08:03
rhiaro eprodrom: good point. One option is we just put every extension into the context, and that we don't make any decisions