A hack in the alternative main, to print the list this and that way; have to incorporate, I think, later on.
Merge remote-tracking branch 'origin/master'