cl-push and cl-pop don't seem to be around any more...

I think cl-push and cl-pop were removed a while ago. Was there a specific reason for using them? If not, it seems like push and pop should be fine...