Some files seem to be missing from the nav dropdown

[iafan]

When you go to e.g. https://translate.evernote.com/projects/website4_evernote/dev-content/webroot/ and open the drop-down, you will see that there are no files under /dev-content/webroot/:

However, if you navigate to any language, e.g. https://translate.evernote.com/de/website4_evernote/dev-content/webroot/ you will see there are a bunch of .po files in this folder:

[julen]

For the record:

• Files from /dev-content/webroot/ are displayed in the dropdown, but at the end of the list of children directories and files.
• A particular file was missing from the resources list, which didn't show up in dropdown searches. This turns out to be a cache invalidation problem, because clearing the cache for the resources in that project repopulates the list and the file that was missing is now listed.