| Fri, 10 Jun 2022 23:53:09 +0200 | wenzelm | more options; | file | diff | annotate |
| Fri, 10 Jun 2022 21:05:31 +0200 | wenzelm | sync session images, based on accidental local state; | file | diff | annotate |
| Fri, 10 Jun 2022 13:53:43 +0200 | wenzelm | clarified names; | file | diff | annotate | base |