The rationale here is that the proposal is not really relevant once
the original naming convention is fixed. This will be enacted on
monday unless there are any objections.