That seems broken ... it seems everything should be one way or the other. Is there any reason not to fix that problem instead? But, of course, the qn. is how much pages will be affected by that change -- we have the means to assess that via linter by creating a separate deprecations category maybe?
It triggered on "Miniatuur". A local alias of "thumb" is "miniatuur" (lower case).