Looks like @davidp hasn't received any replies!