btw @fmanco @obelisk thanks for pushing the shell fixes to the branch. Do you think it’s ok at this time to file issues/prs against the experimental branch, or should we not pollute github yet?