When I drink Coca-Cola I feel an extremely mild [Mentha](https://en.wikipedia.org/wiki/Mentha) (especially [Peppermint](https://en.wikipedia.org/wiki/Peppermint)) taste.
Is there any evidence that Coca-Cola recipe includes any Mentha flavoring, at least in extremely low concentration?
* I didn't find any data with the Google search query pattern `Coca Cola formula Mint` (first page)
* I didn't find any data with the Google search query pattern `Coca Cola formula Mentha` (first page)
* I didn't find any term in that context, or any related term, in the article [Coca-Cola formula](https://en.wikipedia.org/wiki/Coca-Cola_formula) in Wikipedia
If I recall correctly, Coca-Cola formula still includes Coca leaf extract and Cola leaf extract and such leaf extracts might give that "refreshing" Peppermint taste (or many other ingredients).
[In this scientific work](https://core.ac.uk/download/pdf/6103215.pdf), several compounds with the name "mentha" are mentioned but I am not the authority to go down to the chemistry details.
