remove edu-headed artifacts
restore the src-headed ones