Following #820, we need to update the user guide workflow page, which has a section "Compile the Stan model". This section references now-removed compilation logic and code.