| Wed, 29 Mar 2023 12:05:56 +0200 | wenzelm | discontinue somewhat pointless is_single, which also depends on details of internal data representation; | changeset | files |
| Wed, 29 Mar 2023 12:02:34 +0200 | wenzelm | more compact data: approx. 0.85 .. 1.10 of plain list size; | changeset | files |