arc/platforms.md     |  2 +-
 tools/TESTING.md     |  2 +-
 tools/release_web.py | 86 +++++++++++++++++++-------------
 tools/web/serve.py   | 31 ++++++++++++
 4 files changed, 85 insertions(+), 36 deletions(-)