Minor GUI adjustments.
Do not skip known bad files when skipKnown flag is on.
Commit before merging upstream.