thank you very much frankz, I'll be looking into the link you provided.
About my editing the file: I had a backup and restored it, but honestly the edited playlist was working quite smoothly, just the play count was not there (all zero). Maybe further on I'd have noticed more problems...