>>>>> "rth" == Richard Henderson <rth@redhat.com> writes: rth> This is the version I plan to commit Monday or Tuesday, rth> barring further feedback. Thank you for doing this. Tom