[sagemath.data_paths]
kohel = sagelite_database_kohel:sage_data_path
