I actually agree but it might be better to leave that as a TODO once it's available. For what it's worth I don't need to check this anywhere else anymore since all the notification bugs have now been addressed.