import Mixtbl from its repository, into misc/