| Tue, 14 Mar 2023 17:05:49 +0100 | wenzelm | more thorough synchronization of internal "_state" vs. external "_database"; | changeset | files |
| Tue, 14 Mar 2023 11:14:50 +0100 | wenzelm | more database content; | changeset | files |
| Tue, 14 Mar 2023 10:35:41 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 14 Mar 2023 10:27:17 +0100 | wenzelm | clarified signature; | changeset | files |