0.7.1

New version is already out in extras-devel (or at least it is in autobuilder, on the way to the extras-devel). There is no any major changes in it, but now it works with Pr 1.3. There may be some slowness in startup of the app and I will work with that problem at the moment, so be patient.