Earlier quoted context omitted.
How many hosts do you manage? Will your hosts file handle 1542 TLDs? Does your device have a configurable hosts file?
Is there any device people use for reading scientific papers that doesn't have a configurable hosts file?
Almost certainly a similarly configured iOS device.
(I use the former heavily. It is among the devices autoconfigured by the system described in the OP.)