Unnecessary <nowiki> tags get inserted when editing indent-pre with lines starting with *.
Example page: https://www.mediawiki.org/wiki/User:Seb35/modifyToolbox
- Open for editing in VisualEditor
- Change something in the first preformatted block, e.g. add or remove a line
- Review changes
Effect: all of the lines now begin with <nowiki>*</nowiki> rather than *.