Default parameter.
This isn't entirely true anymore. Since we flush after every IndexData
in Project::sync we avoid the problem (though it's much slower).