Yes ideally you should update this PR. The easiest way would simply to push new commits to your branch.

You should also wait for comments from repo collaborators such as @rgrove or @juandopazo. I don't really have any impact on what's going to be merged in anyway.