Thanks macmanx, I’ll try those things and let let you know if any work out. Step 4 may have already been tried… my host probably said ‘sucks for you, but sorry’ in a nice way.
Touche, leliathomas, the plugin is (from the .php)
/*
Plugin Name: Audio Link Player
Plugin URI: https://dennishoppe.de/wordpress-plugins/audio-link-player
Description: This plugin adds a Flashplayer component to all your mp3 links.
Version: 1.0.1
Author: Dennis Hoppe
Author URI: https://DennisHoppe.de
*/
Many thanks, you two.
