Looks like they are. Actually a good idea IMO assuming they are just using them as robust 8 bit interconnects and not actually Ethernet.
A 4 bit differential output would be pretty darn good.
Actually, that might be the case: some boards have 4 presumably output ethernet ports.
edit: https://bighexmachine.github.io/hexModuleSpec/ looks like I'm right?