[commits] [doc] main: Merge branch 'backup-redmine/2024-02-03' (4f3758cd)