Foxx: Remove some confusing lines from the manual #560