Describe what you would like us to do:

At the last meeting, we seemed to have used "neurofedora" for the meeting name (with quotes), and so the logfiles are now named:

• "neurofedora".2020-10-05-13.05.html
• "neurofedora".2020-10-05-13.05.log.html

Can files be renamed on meebot? If yes, could these please be corrected to remove the " bits?

Sorry for the extra work. We'll make sure we're more careful in the future about this.

When do you need this to be done by? (YYYY/MM/DD)

Whenever convenient, this isn't urgent at all.