Ich hasse es ja, Dinge mehrmals zu schreiben, aber nachdem das deutsche Unterforum anscheinend der einzige Ort ist, an dem man noch direkten Kontakt zu einem Entwickler hat (danke, Michael), hier also zum dritten Mal. Details stehen hier und hier. 7.6.1 verhält sich genauso.