docs: function markdown_table (headers, table) {
  	// FIXME: Implement better markdown table formating
  	return ARRAY([headers, [ "---", "---" ]]).concat(table).map(cols => '| ' + ARRAY(cols).join(' | ') + ' |').join('\n');
  }