Collect and serialize information about certain operations #6
Open
Description
It would be useful to collect and serialize information about certain operations like e.g. how many substitutions were done during regularization and which files were affected.