Thread:Project:Support desk/Padded spaces in page titles and user names after a DB copy/reply

There's maintenance/rebuildall.php, but the question is what other important tables besides user are damaged, more manual repair may be needed.