Add some agenda topics. (#271)

- New proposal process updates.
 - witx planning
 - Update on the module-types linking proposal.

meetings/2020/WASI-05-07.md

@@ -26,5 +26,21 @@ Installation is required, see the calendar invite.
     1. Please help take notes.
     1. Thanks!
 1. Proposals and discussions
+    1. Heads up: Meetings agendas and notes will be moving:
+        1. https://github.com/WebAssembly/meetings/issues/549
+    1. Proposal organization
+        1. New proposal repositories prototypes:
+            1. https://github.com/WebAssembly/WASI-http-proxy/tree/master/phases/ephemeral/witx
+            1. https://github.com/WebAssembly/WASI-classic-command/tree/master/phases/ephemeral/witx
+            1. https://github.com/WebAssembly/WASI-poll/tree/master/phases/ephemeral/witx
+            1. https://github.com/WebAssembly/WASI-handle-index/tree/master/phases/ephemeral/witx
+            1. https://github.com/WebAssembly/WASI-clocks/tree/master/phases/ephemeral/witx
+            1. https://github.com/WebAssembly/WASI-random/tree/master/phases/ephemeral/witx
+            1. https://github.com/WebAssembly/WASI-filesystem/tree/master/phases/ephemeral/witx
+            1. https://github.com/WebAssembly/WASI-streams/tree/master/phases/ephemeral/witx
+        1. Goal is to have them be forks of the WASI repo.
+        1. How should the witx tooling work?
+    1. Update on the module-types linking proposal:
+        1. https://github.com/WebAssembly/module-types/pull/3
 
 ## Meeting Notes