[sourcekitten] sourcekitten 0.2.5 & safer write_undocumented_file