| Sun, 21 Aug 2022 12:19:38 +0200 | wenzelm | clarified names: Browser_Info.Config vs. Browser_Info.Context; | changeset | files |
| Sun, 21 Aug 2022 11:59:25 +0200 | wenzelm | clarified modules; | changeset | files |
| Sun, 21 Aug 2022 11:52:51 +0200 | wenzelm | clarified signature: terminology of "base" (here) vs. "root" (there); | changeset | files |
| Sun, 21 Aug 2022 11:48:14 +0200 | wenzelm | tuned; | changeset | files |