Xfrx Documentation [Full Version]