Add recentdoc_remove and recentdoc_remove_highlighted