<div dir="ltr">My original phrasing is sort of ridiculous. Thanks for fixing this up. Merged.</div>