[Github-comments] [geany/geany] session.conf split follow-up: plugins (PR #3183)