L'inventario di dkmini è attualmente privato.