[commits] [doc] main: Merge branch 'backup-redmine/2023-02-10' (0edcc47f)