Since in my implementation the protection of IDs not only prevents IDs from being stripped, but also from being shortened (if you want to keep IDs, presumably for scripting, I assume you'll want to keep them unabridged), I decided that it would be less confusing if providing a protective option doesn't automatically switch on the enable-id-stripping-option.
I also added the three new options to the Inkscape export code, but I left the server-side code untouched.
I went ahead and wrote the patch.
Since in my implementation the protection of IDs not only prevents IDs from being stripped, but also from being shortened (if you want to keep IDs, presumably for scripting, I assume you'll want to keep them unabridged), I decided that it would be less confusing if providing a protective option doesn't automatically switch on the enable- id-stripping- option.
I also added the three new options to the Inkscape export code, but I left the server-side code untouched.