cleaning up PushBox source, and documenting