@Can Wang: I'm not familiar enough with the workings of klayout to answer that question. I was not aware that it had a difference in behavior in batch mode.
Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.
