Looks like @david-lindsay hasn't received any replies yet!