What's the workflow for deleting pages?

[Jorge O. Castro]

I found some horribly out of date pages on help.ubuntu.com, so I went
to delete them and found out I couldn't. So I went here:

https://help.ubuntu.com/community/WikiGuide/DeletingAndRenaming

and saw this:

"Users do not have permission on this wiki to delete or rename pages.
Doing so can sometimes cause accidental, yet major, problems. This
includes, but is not limited to, breaking links within the wiki itself
and on the internet, as well as people's bookmarks."

So instead I have tagged the pages as candidates for deletion. Is
there anything I need to do to ensure the pages are deleted?