So how are these .texture files opened for editing?