Finally version 3.1.2.3 is running quite smooth, so it has been released to the auto-update STABLE channel..