[#15] Updated links in the functional design doc