Is there a formal channel here or is there another slack I could try for this? I am using PSL with Yosys/GHDL and its quite hard to make heads or tails of the limited learning resources surrounding it.