dviout is not jdvi2kps. I think we can remove jdvi2kps_copyright. Thanks, makes sense to me. I removed it. (Toshio/anyone, if that's problematic, please say.)