| Sat, 11 Feb 2023 21:32:30 +0100 | wenzelm | clarified data structure: more direct access to timeout; | changeset | files |
| Sat, 11 Feb 2023 21:22:00 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 11 Feb 2023 21:13:28 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Sat, 11 Feb 2023 20:54:24 +0100 | wenzelm | clarified modules; | changeset | files |