Looks like @nikolaus hasn't received any replies!