Obsolete since 0ddb4ebf7bfcc4730c80a772dd146a49ef6895f6. Backport of fcd44b889f36c4be87910745614a0a4c88d7a3d8 from main