I did the specific case of {{notranslate}} -> ignored as that is the one McDutchie complained about and is relatively smaller. I don't plan to do the others as it's more work than the extent to which I care.

Change #1301728 had a related patch set uploaded (by Pppery; author: Pppery):

[translatewiki@master] Tag {{notranslate}} messages as ignored

https://gerrit.wikimedia.org/r/1301728

"ignored" and "optional" are added to the translatewiki.net configuration file manually based on the message content. The message documentation could be a hint but is never the main criterion.

Change #1301728 merged by jenkins-bot:

[translatewiki@master] Tag {{notranslate}} messages as ignored

https://gerrit.wikimedia.org/r/1301728

In T429085#12016594, @Raymond wrote:

"ignored" and "optional" are added to the translatewiki.net configuration file manually based on the message content. The message documentation could be a hint but is never the main criterion.

It would be good, however, to have both reflect the same state, probably the state from the extension (i.e. hide {{optional}} if the message isn’t really optional based on some magic word like {{TRANSLATIONSTATE}}). There is also a more general problem of translatewiki messages not being deleted after the message gets deleted from the repository (which also makes tracking errors in message documentation worse), but that’s harder to solve than this.

In T429085#12016594, @Raymond wrote:

"ignored" and "optional" are added to the translatewiki.net configuration file manually based on the message content. The message documentation could be a hint but is never the main criterion.

Would it be possible to show a warning on import if the documentation contains these templates but they are not marked as optional/ignored in the config, or vice versa? I’m not entirely sure how the import goes, but it contains a manual step, doesn’t it?