| Wed, 16 Oct 2024 20:22:20 +0200 | wenzelm | redundant; | changeset | files |
| Wed, 16 Oct 2024 19:44:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 16 Oct 2024 16:20:35 +0200 | wenzelm | performance tuning: cache markup and extern operations; | changeset | files |