This page has moved to local-fpga-initial-setup/.