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.