Looks like @vadhil hasn't received any replies!