Looks like @michi hasn't received any replies!