issue #559: added Foxx documentation to User manual