Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
Follow-up: I tried the GIT master and it indeed fixed the problems. Very stable so far. version: 8.3.13 (api:88/proto:86-97) GIT-hash: af9d7bf3be4ee157a991f5194ad79a9d94a08bac Just one question: should I continue using this or revert to some older, perhaps more stable, release? - Jarno