The gotchas with those are that:
1) The boards are very bare-bones. Most of the I/Os are tied up in high-speed connectors like PCIe or SFPs, which will be very difficult for a beginner to work with.
2) The Virtex/Kintex parts they're using require a paid (or pirated) Xilinx license, and the sheer size of the parts makes compile times even slower than normal.