Yup. Not a huge benefit that can be seen from skimming and increasing the compression ratio which is why I was toying with a 1mm skim (Gonna stick to a 0.5 now I think maybe more next time). Based on those figures I posted up that give an idea of how skims affect CR and piston force a .5mm skim will increase the output by somewhere around 5% (+/- 10bhp) but it will all add up. That's partly why not going for a full 1mm as I don't think it's worth risking rebuilding the engine for another (possible) 10bhp at the max.
Saying that though a standard head gasket is around 1.3mm thick whereas a bimetal or similar can be around 0.6mm so a difference of 0.7mm. Seems logical to assume that a 0.7mm skim would be ok but may cause issues if the heads ever had to be skimmed again so doing 0.5mm leaves a little spare should it ever be needed. :-)