YimbyGeorge comments on How would you govern Mars?