Naming convention for character-encodings: utf32 vs. :utf-32

Am 29.09.2007 um 21:08 schrieb Gary Byers:
> You're right that "big endian utf 32" should be called "utf-32be"
> and likewise for the little-endian variant.  I'll change that.

The "le" version is still called utf32-le:
http://trac.clozure.com/openmcl/browser/trunk/source/level-1/l1-unicode.lisp#L4253

(define-character-encoding #+big-endian-target :utf-32be #-big-endian- 
target :utf32-le

(maybe) should be changed to

(define-character-encoding #+big-endian-target :utf-32be #-big-endian- 
target :utf-32le