@UsePenrose is there a way to suggest changes to the gitbook? I think there are a couple of errors in penrose.gitbook.io/penrose/tutori…, maybe using an old version of the dsl grammar?