Peter Geoghegan@petervgeogheganReplying to @danfarina@danfarina I've argued for the partial or entire removal of contrib/ISN before, for this very reason.6:23 PM · Apr 16, 2012·Twitter Web Client