A lot of their pages use the .htmlx extension. So I googled for .htmlx and I see some info that talkes about it supposedly being useful for something but I fail to comprehend exactly what that might ...