I already read about that somewhere else, but thanks for reminding me to actually take the time to run that update. It took more than 2 hours for me before it was completed (my disk was nearly full AND you need about 10% free disk space or it won't work!), but apart from that everything went very smoothly and the disk indeed feels a lot faster again. This is truly a mandatory update for every Samsung EVO owner!

Do the update, it'll make you happy!