Perhaps "//+", so that it replaces "///"?