There are a few PR which has been approved but not merged, what is holding merge back? Who merges? I would love to see the latest PRs by David W. to merged and released ASAP. Jocke