|
> this REALLY should be better documented since it would have been very easy > for me to never find the reason for this issue. It is in the bug page in the site, and we will soon release 5.1.1 (a bug-fix release) that should avoid this problem. -- Roberto