<div dir="auto">Let's wait a few days first to see if upstream is happy with the patch before using it, so we avoid potential duplicate work of updating patches in two places.</div>