pete opened a pull request in inferno-os/inferno-os

This is a bundle of small patches I have been running locally for years, and I believe they're reasonable to submit upstream. So as not to inundate…