The tickers that represent the bonds are not an issuance of the company but a derivative security based on the bonds themselves. The bond tickers will be around for awhile at least until the Earnout payments are complete either by time or when they hit the max payout possible which is about $0.23. Right now the market is pricing the expected total payout at around $0.05. It will likely be done as a “liquidating dividend” and the tickers deleted.
News 
Market Data 
Discover 
