tool/mirror.dart: cleanup, reorg, comments
Tabs: now documented.
copy content