Changing the text in the Directory template

I am rather new in Wordpress and just installed the Directory plugin, I would like to change the text in the template, for instance "Welcome, what would you like to do?" or the button "Add Listing".

I can't find the HTML source in the editor and can't figure out how to do it. I have already spent some time on the forum but couldn't find the answer.

Thanks for your help