Adding big techreport describing the status of the min-enabled
translation and what results I've managed to collect so far.