Sounds like you already answered your own question.
I've used both. They both do the same thing. I doubt one is any better than the other. They both make red discus redder, yellow discus orange, and white discus pinkish depending on how much is in the food. I've even seen it cause orange fins on blue discus.
I use astaxanthin in my food for my koi angelfish to intensify the orange.