minek van on misc@. Thanks. ok tb@, tj@ (and jmc@ is ok with the diff but can't ok the technical content).