Hi Simon,
I would suggest that Doc was probably written some time ago.
White balance ratios depend on the wavelengths of the lasers used as differing wavelengths have differing brightnesses and colour shades and thus effects on the colour mix. Those ratios look very much as though they were written for 660nm or even 670nm red (I forget the ratios for the higher wavelengths these days) and 473nm blue.
For modern choices of 638 or 640nm red and 445nm blue, the accepted ratio these days is 1:1:1 for a good white balance.
For other wavelength combinations eg. 650nm red, you'll need to research the ratios.
Sent from my laptop.