Exactly. But I just read the changelog before editing lots of files and thought, hey what's that. Indeed it always took a looong time for me to edit some hundreds files, like deleting comments etc. I never tried to compare or noticed the speed difference between those methods. But now, WOW! Everything is so speedy! Thank you Florian!
[Edit: spent saved time correcting typos]