@Winterstar the adb push command one time didn't work and the other time it did work, so I guess this have something to do with my phone.
So YMMV. Then I decided to do a clean installation and the problems I was facing didn't go away.
But I guess that, as the first link says, things should work just fine. It's best to create a backup first so you can recover if stuff go south.