Currently, the default cache region for discretizations in pymor.discretizations.basic is 'disk'. I propose to change this to None. IMHO, pyMOR should behave as reproducible as possible by default. Having persistent cache entries on disk will change timings in subsequent runs. Moreover, first time users will probably be surprised that pyMOR dumps up to 1GB of data to disk. Re-enabling caching will be as simple as writing
discretization.cache_region = 'disk'
Any objections?