minor: adjust misc/ file names