Cleanups.
Better miniscoreboard.
Print own renamings too.