Sorry, I didn’t realize that manual page still advocated that outdated syntax. I’ve removed the reference from that page. Are there any other references somewhere that we also need to remove?
At one point, we added that “feature” to FSM.py, but it was implemented with a cheesy Python hack that turned out to cause troubles in other contexts. So we removed it. I didn’t know anyone had ever heard about it, so my apologies for the confusion.