More /traces/mine translations