Profile: mitric

Hello,
right now "Price range" works filtering by product prices without considering discounts.
It would be really nice if we could decide, in plugin's settings, to let it to work with or without discounts