Looks like @vondrachenstein hasn't received any replies!