Probably a good idea to treat `*.Dockerfile` as dockerfile format as well. In general, it's better to use the `Dockerfile` part as an extension rather than a basename. Signed-off-by: Andrew Pennebaker <andrew.pennebaker@gmail.com>
Signed-off-by: Andrew "Tianon" Page <admwiggin@gmail.com>
This is split off from #2970.