I saw that there are many "applications" questions in Mathoverflow; so hopefully this is an appropriate question. I was rather surprised that there were only five questions at Mathoverflow so far with the tag diophantine-approximation, while there are almost 900 questions on number theory overall. It is my intention to promote the important subject a little bit by asking one more question.

Question:

What are some striking applications of Baker's theorem on lower bounds for linear forms on logarithms of algebraic numbers?

If, for example, I were in a discussion with a person who has no experience with diophantic approximation, to impress upon the person the importance of Baker's theorem I would cite the following two examples:

Giving effective bounds for solutions of (most of the time exponential) diophantine equations under favorable condition. For example, Tijdeman's work on the Catalan conjecture, or giving effective bounds for Siegel's theorem, Fermat's last theorem, Falting's theorem, etc., in certain cases.

Transcendence results which are significant improvements over Gelfond-Schneider. In particular, the theorem that if $\alpha_1, \ldots, \alpha_n$ are $\mathbb{Q}$-linearly independent, then their exponentials are algebraically independent over $\mathbb Q$. I would cite the expose of Waldschmidt for more details.

These are, to me, quite compelling reasons to study Baker's theorem. But as I do not know much more on the subject, I would run out of arguments after these two. I would appreciate any more striking examples of the power of Bakers' theorem. This is 1. for my own enlightenment, 2., for future use if such an argument as I hypothesized above actually happens, 3. To promote the subject of diophantine approximation in this forum, especially in the form of Baker's theorem.