preferable to give it for the user choice , but from our side it will be empty.
done , but just mention anywhere when grup-live to be available there so i can install it (i rather stick to tester repo better than dev repo).
cant we remove even dolphin and reinstall it again ? so we can get ride of all of them ? to avoid sucha exploitation like this one PulseAudio 0.9.5 - ‘Assert()’ Remote Denial of Service or this one PulseAudio setuid Local Privilege Escalation Vulnerability or VideoLAN VLC Media Player 0.8.6d - ‘httpd_FileCallBack’ Remote Format String. they r old used exploitation but still it increase the attack surface. (specially gateway very likely to hold hidden services inside it).
Note:- it will cause the connection to drop in the gw , restart will solve the issue.
- additional features:-
if we can fix this issue here , its preferable to change the links inside whonix homepage to .onions only (for the website , documentation, forum …etc).