<!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>