Looks like @ambrosius hasn't received any replies!