[ivette] revert to initial headers filter

ivette/headers/register.sh

 #!/bin/sh
 case "$1" in
-    Makefile.distrib | *.json | src/dome/doc/* | */.eslintrc.js | headers/* )
+    Makefile.distrib | *.json | src/dome/doc/* | */.eslintrc.js )
         echo "$1: .ignore"
         ;;
     *Make* | src/*/*.js* | src/*/*.ts* | src/*/*.ml*)