[commits] [doc] main: Merge branch 'backup-redmine/2023-12-01' (a4585a15)