@mhoeber I agree with @mulby  -- let's strike this for now