Documentation and packaging tweaks