Make @file optional for *.module and *.install files

I agree that for seasoned Drupal developers these docblocks are redundant, but it still makes sense for junior developers, or developers coming from other platforms to provide context. I can imagine a Symfony developer that is doing a Drupal 8 project being confused by these weird ".module" and ".install" file extensions. It are exactly these files that contain our odd hook-based drupalisms, and a single line of documentation goes a long way to inform people what this is all about.

With the current way core seems to be going in trying to remove most of these files, by making hooks annotation based, it looks like the argument is start to lose value?

There are only 86 .module files left, so this is mostly about .install files. I am not a fan of the extra documentation in the example for .install in #6. If we wanted to do something like that I would rather it just be @see to other API documentation.