BREAKING: RouterDescRequest no longer has push().