The source project of this merge request has been removed.
Make ‘Random Noise’ filter name consistent
In the filter menu, the filter was called ‘Random Noise’, but in the filter dialogue, it was called just ‘Noise’. Now it’s ‘Random Noise’ in both places.