[Github-comments] [geany/geany] [docs] Add Document List tips (PR #3820)