Cheers, that does appear to be correct.
I should state that the fork is being drilled by a friend who's primary expertise is in drilling holes in things (he's a materials engineer for Rolls Royce), and bicycle maintenance being an additional hobby. Fortunately he's being cautious rather than overconfident.
Are recessed brake nuts a common thing on modern brakes? Should I be asking him to drill 8mm in the back, or leave it alone?