[commits] [doc] main: Merge branch 'backup-redmine/2023-06-10' (63db0d74)