<div dir='auto'>This seems reasonable to me, and gets my<div dir="auto">Reviewed-by: Kenneth Graunke <kenneth@whitecape.org></div><div dir="auto">but I would wait to hear back from Ian since he's been looking at this too.</div><div dir="auto"><br></div><div dir="auto">Thanks for researching this carefully!</div></div>