Anyone object if I take over misc/pinfo? The maintainer hasn't touched it (or anything else in the repo) since May 2010, and I emailed him 6 days ago and haven't gotten a response.