| Mon, 13 Mar 2023 11:02:26 +0100 | wenzelm | clarified signature (again, see also 8c64e51d9dde and 268bf61631ec); | changeset | files |
| Mon, 13 Mar 2023 10:51:10 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 11 Mar 2023 21:36:25 +0100 | wenzelm | more operations, thanks to Jsoup; | changeset | files |