Will eventually become part of trashernet, I guess. But for now, let's add it to the top level.
Not needed since a9039a175cb3cde0fd094f0987d93925e18bb683.