Hi, when downloading an entire page's BibTeX file the resulting file is named "download" with no file extension attached and thus no file type showing up (on Windows 10 at least for me). When manually adding ".bib" to the end of the file name, Windows recognizes it as a BibTeX file and makes it easier to open from the file explorer in various programs. Is it possible to add this file extension by default to make things more user-friendly?
Additionally, for those of us (like me) whose publication lists are generated from a .bib file with a particular name that has been uploaded to BibBase's servers, having at least an option for the downloaded file to be that filename rather than just "download.bib" would also have much more utility and be intuitive. The option to append a date to the filename (e.g. "filename_2023.05.15.bib") would also be particularly useful for my uses with a library that updates relatively frequently, but I recognize this is likely not as useful to most other users.
Customer support service by UserEcho