Synonym paging → virtual-memory?

Question

We have pager and paging. paging is going to get used for virtual memory whether we want it or not, so I suggest making paging a synonym of virtual-memory (and leave pager for less and friends). I figure seeing paging redirect to virtual-memory should be enough of a hint to try another tag when you're after a pager.

Answer 1

mattdm suggested the synonym already, so I approved it and merged