On Mon, 3 Aug 2009 18:50:07 +1100, Alexey Golodov wrote: > Please, note that psi has been updated to0.13. > Also, if you can, see psi+ (http://code.google.com/p/psi-dev/) and, > probably, good idea to add this to ports. I'm busy this week, will update it at the weekend.