Here are some more updates on the same branch.

On Tue, May 28, 2019 at 5:46 AM Brian Leung <bkleung89@gmail.com> wrote:

> I have one more patch, committed on the same branch as the other two
> commits from this thread.
>