i've upgraded to 5.3.2, found it amazing... the search is really improved, the old one was just awful... but the thing i'm really, REALLY missing is the modified margins... i had lot less margins in previous configuration and really get used to read that way. The experience isnt the same
i'm no developer but i hope the amazing devs we got here will get to break the new firm