Well there you go. I saw the new 2020 Hotcake today which incorporates those mods into the official design.
I know they've been part of the diy world for years but didn't realise there was already a PCB out there.
Either way, since pedalpcb sell the hotcake board already, they might want to have a look at updating to current specs if something else in there changed also.