Introducing User Feedback in Dolphin