Doesn't remove from menu if page gets deleted

Really handy plugin if it removed deleted child pages from the menu once the page no longer exists.

Works fine when adding new pages but this could create dead links in the wrong hands as old deleted child pages are not removed. If this feature was added then it would be very handy.