Fixed bug #12111: Improve output of extension details (thanks to Steffen Gebert)