<div dir="ltr">There is a <a href="https://github.com/landley/toybox/pull/556">corresponding PR on GitHub</a>. Feel free to close, or I can after this is merged (or rejected).<br><br>Thanks!</div>