My project name usually shows up, right above the proof name (see screenshot). It sounds like this isn't happening for you, but I can't imagine why unless you've locked down the security to a point where they can't see the project that the document is in, or you're using a particular way of working that I'm not familiar with. Without more information, I can only suggest you contact the helpdesk.