I need to query wikipedia for just one very particular purpose, that is to to get the text for a given url. To be a little more precise:

I have about 14.000 wikipedia urls of the english corpus and I need to get the text, or at least the introduction of each of these urls. My further processing will be in python, so this would be the language of choice. 

I am searching for the method with best performance and made up 4 different approaches:

1. get the xml dump and parse directly via python  

-> further question here would be: how to query the xml file, knowing the url?
2. get the xml, set up the database and query `sql` with python  

-> further question here would be: how to query the sql, knowing the url?
3. use the wikipedia api and query it directly via python
4. Just crawl these wikipedia pages (which is maybe kind of sneaky and as well annoying because its html and no plain text)

which method should I use, i. e. which method has best performance and is somehow standard?