Yes, we very much want the Ticket ID to show in the Customer Portal.
Hoping it’s in the next round of improvements!