Diamond ore generation was more common in the old days, before Beta 1.8 slighty nerfed it by 25% according to the Official Minecraft Wiki https://minecraft.fandom.com/wiki/Diamond_Ore#History
For accuracy purposes can you add an option to make Diamond slighty more common as it was during the pre-Adventure Update days?.