sed: Can't open /usr/web/plan9/sources.html --rw-rw-r-- miller sys 1405 Mar 13 2017 cdc.c --rw-rw-r-- miller sys 1105 Mar 13 2017 cdc.c.orig --rw-rw-r-- miller sys 10291 Mar 13 2017 dev.c --rw-rw-r-- miller sys 10190 Mar 13 2017 dev.c.orig --rw-rw-rw- miller sys 20 Mar 13 2017 email --rw-rw-r-- miller sys 102 Mar 13 2017 files --rw-rw-r-- miller sys 0 Mar 13 2017 notes --rw-rw-r-- miller sys 197 Mar 13 2017 readme --rw-rw-r-- miller sys 623 Mar 13 2017 usbdb --rw-rw-r-- miller sys 565 Mar 13 2017 usbdb.orig sed: Can't open /usr/web/plan9/sources.html