[commits] [doc] main: Merge branch 'backup-redmine/2023-07-08' (f3ea75b2)