Great.
The Amaranth manual contains this sentence:
"Amaranth provides control structures tailored for this task: If, Switch, and FSM."
It proceeds to explain If but *not* Switch and FSM. is this a surprise? Would it be appropriate for me to file a github issue asking for clarification?