fixup! Remove push_back and push_front. Add documentation. Remove
whitespace.