[Github-comments] [geany/geany] Add themes from geany-themes (PR #4044)