dashboard/src/guest.rs             | 83 +++++---------------------------
 dashboard/src/shale.rs             |  4 +-
 dashboard/src/shale_page.rs        | 58 ++++++++++++----------
 tools/dashboard-shale-page-test.py | 38 +++++++++------
 tools/router.py                    | 11 +++--
 5 files changed, 76 insertions(+), 118 deletions(-)