* main_db.ml: comments