[commits] [doc] backup-redmine/2023-01-14,main: doc: alfred/Building_information: switch to non-controversy git branch names (8a4b7871)