other old prefixes that needed to be removed
Some of the prefixes didn't get merged because of the conflict that occurred. So I removed them here. I concluded the things that needed to be done in issue #335.
Some of the prefixes didn't get merged because of the conflict that occurred. So I removed them here. I concluded the things that needed to be done in issue #335.