I don't think the policy will be replaced.

I don't know what was the wisdom in that decision. It confused the mess out of everybody.

We were starting to get several requests from groups asking us to name different things after people. We started thinking about that thing: Who's really the valid person to name a facility after? It gets to be a naming contest if you encourage that. A no-naming policy is the best way to avoid conflicts.