<!DOCTYPE html>
<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    (double posted, so reply to your list)<br>
    <br>
    I just discovered a new tool: <b>btop</b>.  What I found useful are<br>
        - cpu frequency<br>
        - network speed
  </body>
</html>