uncommented a call in push_nation_design_docs.js which was commented earlier for some debugging