Post #2506745

@DavidM_yeg@mstdn.ca @yosh@toot.yosh.is @Schneems@ruby.social https://www.merriam-webster.com/dictionary/redundant "3 : serving as a duplicate for preventing failure of an entire system (such as a spacecraft) upon failure of a single component" applies here, and that definition shows nicely how it's mutually exclusive with "efficient"