Make our page with pointers to binary distributions visible in the FAQ