Again, I didn't add those GEOIDFQ tags myself; they came with the converted GEOJSON files I downloaded. A few other tags came automatically (like `NAME=Congressional District 1`), but I was easily able to either convert those into OSM-compatible tags (in this case, `name=Congressional District 1`) or delete them.