ExtraHint upgrade and documentation updates