@Fomafix 5:11 PM
Patch Set 1:
There are still several usages of id="toc" in the wiki content. Example search on dewiki: https://de.wikipedia.org/w/index.php?title=Spezial:Suche&profile=all&search=insource%3A%2Fid%3D"toc"%2F&fulltext=1
en.wiki is another story though - over 500 articles with id=toc: https://en.wikipedia.org/w/index.php?search=insource%3A%2Fid%3D%22toc%22%2F&title=Special:Search&profile=advanced&fulltext=1&ns0=1&ns10=1&searchToken=gcg1uyt9ymwurz9d1cg0vsoj
I've looked into this a little bit, but almost all of these cases still use tables (which the proper toc does no longer), or they have layouts that can be provided by maintained ToC templates, or they should be using wikitable class or completely different structures.
I think therefore that sending in a bot is not really needed, and we should point people at how to fix the problems. Also, when the styling is lost, the page isn't off significantly worse than before in most cases, see screenshot.
When and if this gets merged we should probably mention it to the communities:
"The deprecated #toc and #toctitle ids have been removed. If your wiki was still using these for fake Tables of Content (TOC) then these might lose their styling. They can be replaced with .toc and .toctitle classes where appropriate"
The clean up is mainly about consuming both where one suffices. E.g. in selectors that generically target any TOC. For which the class suffices.