Hello,
Regarding the pins' condition, both statements are correct. However, the Device Configuration User Guide is more precise:
The pins are tri-stated (high impedance, Hi-Z) and, additionally, there is a weak pull-up resistor enabled during configuration. This means the pins will float high (toward VCCIO) but not drive any significant current.
For the second question, the Data Sheet often focuses on absolute maximum ratings and DC/AC characteristics. Device Datasheet may not explicitly state the numbers, but the User Guide's values are considered authoritative for board-level design.
Regards,
Aqid