None of my points above are blockers, so barring any objections I planto push this later today/tomorrow. It hasn't been sitting out long butit is pretty trivial and I don't think it has any correctness issues.
- Melanie