Has anybody else had issues with the elephant HUD recently? Mine has dissapeared, no options have been changed since the last time I played (3 days ago).

Update: The problem seems to have resolved itself. ?(