Drop obsolete faq entry (risc0#1293)

Fixes risc0#1291

website/docs/faq.md

@@ -219,23 +219,6 @@ RISC Zero has three circuits: one that executes RISC-V code, one that's used for
 - The STARK-to-SNARK circuit is used to translate a STARK proof into a SNARK proof, which enables on-chain verification.
 
 </details>
-
-<a class="anchor" id="building-our-circuit"></a>
-
-<details closed>
-<summary>
-Q: How did you make your RISC-V circuit?
-</summary>
-A: The RISC-V circuit is found in step.cpp.inc and is generated by the make-circuit program. It consists of:
-
-- Code to emulate RISC-V, including decoding RISC-V instructions and constructing the execution trace.
-- Code to evaluate the constraint polynomials that check the execution trace.
-- Auxiliary data to support structures such as ‘taps’.
-
-Because the data structures supporting all three of these need to match very carefully, we created a ‘circuit compiler’ program that generates code for all three of these systems.
-
-</details>
-
 <br/>
 
 ## Security