On Tue, Oct 27, 2015 at 9:05 AM, martin rudalics <rudalics@gmx.at> wrote:

> The latter.

Yep, that's the policy.

> Shouldn't we remove that "\\s-quot; rigmarole?  Something like the largely
> untested

Hmm, what's the gain for the added complexity?

    J