autopushed

2026-08-10 00:16:18 +00:00 · 2022-08-21 15:19:48 +02:00
parent 0c792a15f0
commit ce72ec2a05
1 changed files with 1 additions and 0 deletions
@@ -18,6 +18,7 @@
          - might be easier to add a /convert/ endpoint to the agora? the html it produces can be copy/pasted to relatively good effect into a [[google doc]], I've done it by hand for [[agora doc]] and it looks fine
        - agora protocol sections could be elided my pandoc by default?
          - or formatted in a special way?
+          - but see above about maybe having [[agora server]] do this so as not to duplicate functionality?
        - -> can assume if it uses indented lists *and* [[wikilinks]], it is Agora protocol
          - the Agora can naturally do that and include that assumption in the output?
 - [[computers]]