Yes.  pushed now.  (I was waiting for your ok on the names.)  :)