Anyone familiar with HiTeX Press books? These look suspiciously AI generated.