Use the first line of each file as its filename

It’s probably not a hard task. They’re probably just prioritizing bigger requested features, like a mobile app.