So, it’s been over a week since I’ve seen an API response with a bad header so it certainly appears that, whatever the problem was, it has been fixed.
My thanks to the Twitter API team for resolving this issue promptly.
Larry
