Thank you for your answer.
There are only lists of downloaded, sdcard, running and all. None of them listed media server.
But the menu brought up a button to reset all application settings, including disabling. This affects all unrelated apps and loses many settings but application data remains...