Meh, I think they're OK. "Alternate" pulleys are allowed (with no subsequent restriction to their design) and "type" of drive (toothed, v-belt, etc) has to remain the same. It doesn't run afoul of the "prohibited function" clause...

"If it says you can..."