Sometimes, it's hard to keep track of which optimization parameters and setup has been used to produce a certain snippet of assembly.
It may be usefeul to have a feature that dumps the SLOTHY config/python script steps next to the optimized file or even into it.