Those links are proof that the company wants them to exist, but the download page for the X16R bitstream says that it should be available Spring 2019.  That could be true, or it could be hype to drive sales.  While there very well could be FPGA's currently ready for RVN, I wont trust sites like Zetheron that say they have or will have a bitstream available until the download is actually available.