Re: misc/53432: "cactus" is not in /usr/share/dict/words

[David Holland <dholland-bugs%netbsd.org@localhost>]

The following reply was made to PR misc/53432; it has been noted by GNATS.

From: David Holland <dholland-bugs%netbsd.org@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: 
Subject: Re: misc/53432: "cactus" is not in /usr/share/dict/words
Date: Sun, 15 Jul 2018 06:38:35 +0000

 On Sun, Jul 08, 2018 at 05:10:01AM +0000, Robert Elz wrote:
  >    | "cactus" is not in /usr/share/dict/words. It only has "cacti".
  >  
  >  cactus might not be but Cactus is.
 
 It appears that's there because it used to be a genus name, which has
 apparently since been subdivided.
 
 Wikipedia shows enough things named Cactus to leave it, though, so
 I'll just add a lowercase version.
 
 (software using the file should not be implicitly lowercasing words,
 so both should be present when appropriate)
 
 -- 
 David A. Holland
 dholland%netbsd.org@localhost