Minor style changes, moved 'backends' entry from rave.game.
Merged remote.
Reverted earlier commit after discussion.