I fail to see to see significance in this change. The previous logic was 4 is 1 more than 3 so it's a nice little perk. Looking too deep into it just turns this into a trivial topic. Muh 33% mining perk going into my 25% refinery discount into my other 20% discount for ship component building. Make me big cha ching dolla dolla. Players already make so much money through other means. A specified groups ability to supply a base with material through a boost in mining has little significance in economy and was meant for convenience.
I understand the point of fairness, coming from an OF leader who had to RP for both CR IDs to get a 3x mining bonus on a single ore. As well as a non existent refinery bonus. Kinda cheaping =CR= out. I guess the =CR= ID is finally getting a buff to make it different from the indie ID. Now here's hoping for a refinery bonus bb.
I think the change to some IDs may have caused a bug. Have fun looking through them all to find out which