2021-04-02

Fix ignore patterns

The problem is that glob looks for a "full match" while git ignore is OK
with a "partial match".

Adding a "catch-all" tail for all patterns should be OK, probably.