[DEPRECATE] @permid

[Rob Beezer]

This is old news from July 2024. I warned then about lots of warnings if you
didn't remove these, but I've implemented a version of the deprecation messages
that just gives you a count, and not a whole pile of location reports.

So you will now start seeing a single message for your 8,000 instances of this
deprecated attribute.

Rob

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2024-07-25

The @permid attribute was designed to support various experiments, such as
automatically indicating changes between editions. It was managed by a Python
script, so an author would not have created them. Those experiments have
concluded and there is no longer a need for this attribute in your source.

1. The pre-processor is now removing them as your source gets processed (which
does not mean that your source itself is being sanitized permanently).

2. Any code employing these attributes has been removed from the HTML conversion.

3. No deprecation warnings, since I don't think anybody wants thousands and
thousands of warnings (Eight thousand in AATA.). But I have a note to myself to
put those in place a year from now. You've been warned about the warnings.

4. I've had good luck with the regular expression (minus exterior single
quotes): ' permid\=".[^"]*"'

5. One immediate regression: URLs to parts of your project with fragment
identifiers (the # part) have been formed with a preference for the @permid. If
you collected those in some other location (your LMS, bookmarks, etc) they will
no longer work with your next build. A really poor workaround is to copy your
@permid value into a @label value and you should get the same URLs. But you may
need the @label for something else (like Runestone database entries or file
names, or ...) and the @permid values are kinda ugly.

Questions, etc on -dev or -support as appropriate.

Rob