I removed this sometime ago, but it turns out to be useful