[OS-BUILD PATCH] RHMAINTAINERS: Update for Oct 16 2023