what are you even talking about? linked page makes no mention to any gpl3 consideration. and i don't see how distribution peculiarities have anything to do with the license.
are you just attempting a low effort gpl3 FUD or are you honestly confused at something concrete that you failed to describe?