Be reminded MinT, the new machine translation as of September 2023, tends to replace wiki markup for bold types, or ''' to a plain ["] which is an error.