Make board names human readable

Also a few language changes; "todo" removals.