Write code in Python that downloads all the text file names at url: http://stup.pro/wp-content/uploads/2023/03/*.txt into one list of book_files

import requests
from bs4 import BeautifulSoup

def get_book_files(url):
    text_files = []
    resp = requests.get(url)
    soup = BeautifulSoup(resp.text, 'lxml')
    for link in soup.find_all('a', href=True):
        if '.txt' in link['href']:
            text_files.append(link['href'])
    return text_files

books = get_book_files('http://stup.pro/wp-content/uploads/2023/03/')
print(books)