Looks like @marginal hasn't received any replies!