I have installed a plugin (SubsSupport DVB player - a subtitles player plugin) in my DM7020HDv2, but forgot what version is the file (either v1.5.4 or v1.5.6). Have checked the target folder ....../Plugins/Extensions, but I can only see the name of the folder there, not the .ipk file version. Is there some other place in my Dreambox to find it out?