| Fri, 25 Apr 2025 16:54:39 +0200 | wenzelm | clarified signature: more scalable output; | changeset | files |
| Fri, 25 Apr 2025 11:34:29 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 25 Apr 2025 11:22:25 +0200 | wenzelm | more scalable: discontinue odd shortcuts from 6b3739fee456, which produce bulky strings internally; | changeset | files |
| Sat, 26 Apr 2025 08:34:03 +0200 | haftmann | tuned | changeset | files |