On Thu, Aug 3, 2017 at 10:08 PM, Stefan Monnier 
<monnier@IRO.UMontreal.CA> wrote:
>     ;;;###autoload
>     (put '<VAR> 'safe-local-variable '<PRED>)

OK, thanks.

How does it look now?

-- Simen