optimize/rebuild killed -- Can I clean up the leftovers?

Oracle Database Enterprise Edition 12.1.0.2.

At one time, it was thought that using ctx_ddl.optimize_index using ctx_ddl.optlevel_rebuild would benefit one of our text indexes.  Unfortunately, the rebuild was killed before completion.  As a result, we still have the structures it creates in the database:

a table named DR$index-nameMI, which I assume is the copy of the DR$index-name$I table subject to the rebuild

a trigger named DR$index-name$T, which keeps track of the changes occurring to index-name while the rebuild runs

a table named DR$index-name$L, to which the trigger writes it information.