Does anyone remember a reference from either the Thrawn trilogy or the Hand of Thrawn duology about how Darth Vader lost his hand?

Mara Jade tells Luke that the destruction of the first Death Star "cost Vader his hand". Apparently, a punishment by the Emperor.

Now, we find out in EP2 that Anakin lost his hand by Count Dooku.