Resources for “Playing PlayStation Games in Linux”