Ah, wait, you’re right, it is probably annoying to have to dismiss the notification every day if you don’t want the update. So I should probably add an ignore function after all.
