True, but removing them is on the OPs bugs checklist at the beginning of the PR, and then it will not be backward compatible.

It is less work for me not to implement this, if you prefer.

It leaves the file a bit untidy, but it should be harmless.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.