| Sun, 06 Nov 2022 12:11:13 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Sun, 06 Nov 2022 12:07:44 +0100 | wenzelm | more command-line options; | file | diff | annotate |
| Sun, 06 Nov 2022 12:00:35 +0100 | wenzelm | clarified component settings: always update existing version; | file | diff | annotate |