Board Thread:New Features/@comment-2607:FB90:9823:AD0C:30DF:6EBE:9234:739-20190927153214/@comment-1038387-20190927155647

Yes, it would. However, this is how it's coded. With a bot or the CategoryRename script, admins can work around the issue pretty easily.