You '''may''' rename or delete these pages manually. When doing so, you may rename them to any title as long as it doesn't begin with one of the characters that will be uppercased in the future. A list of characters to avoid may be found at https://gerrit.wikimedia.org/r/plugins/gitiles/operations/mediawiki-config/+/master/wmf-config/Php72ToUpper.php