$(HOME)

.matita nobody

@DBHOST@ helm matita

.matita/getter/cache cic:/matita/ file://.matita/xml/matita/ cic:/ file:///does_not_exists/ legacy