[racket-dev] [plt] Push #24958: master branch updated

I spent some time working with taxonomies and ontologies, and switched 
to generally preferring that the permanent names for things be in a flat 
namespace, and that any organizations (e.g., hierarchical) be separate, 
indirect, and more fluid.

One possible exception is when there is a strong, exclusive, permanent 
``part of'' relationship.

For example, I think that the PlaneT categories are already getting 
outdated, and I am glad that the categories are not used in naming.

Neil V.