Looks like @davidhume hasn't received any replies!