On Sun, May 17, 2020 at 12:38:41PM -0400, Mouse wrote: > Furthermore, "the" owner of a page > may be unclear in a few circumstances. This is a nontrivial problem... a good solution to it would be useful even just for accounting purposes. -- David A. Holland dholland%netbsd.org@localhost