Filteren op versie van release notes verbeterd

Het filteren op een versienummer van de release notes via het kopje 'Producten' gaf niet altijd de juiste resultaten. Er verschenen ook release notes met andere versienummers dan aangevinkt in de resultatenlijst. Dit hebben we verholpen.