renamed:    opera@xeon -> opera@xeon.txt