Re #880 - remove unneeded gitignores