docs: def dump_simple_db(path):
  	"""
  	Dumps a SimpleDb as string in the following format:
  	<key>: <json-encoded string>
  	"""
  	output = []
  	simpledb = SimpleDb(path, mode="r", sync=False)
  	with simpledb as db:
  		for key in db:
  			output.append("{0}: {1}".format(key, db.dumpvalue(key)))
  	return "\n".join(output)