[PING] [RFC] Extend gdb_ari.sh with ARI_OFF/ARI_ON

[Pierre Muller]

> I think this kind of mechanism is too obscure.  The markers may be very
> far from the place that one is editing.
> 
> Do we really need this particular ARI rule at all?  This sort of
> problem
> is usually caught by patch review... and if it an instance is missed,
> it
> doesn't have any impact on code quality.

  OK, I get your point, and you are not the first
one taking that position.

  Let's drop this also, 
proposal officially withdrawn.

  I will try to work further on more
ARI if I find time... but will try to focus on
more essential points.

Pierre