timestampDescriptor.py: removed case-insensitive doppelganger TimestampDescriptor.py