I own this laptop for almost a year and only just realized that #Gimp here doesn't have #WaveletDenoise.
You understand, I've been using the same desktop since 2010, and was using this plugin before that, so I didn't remember if it was one of the stock ones or installed later.
Anyway, I think that's my first successful make>make install ever, after 15 years on #Linux ;)