The filename is one of the parameters that you can edit in the parameter view for the Micro Exporter node. After creating the Micro Exporter node, you can open its parameter view through the same "+" icon. Alternatively, you can find it in the render node's internal network and double click on it from there.
I'll add this step to the documentation.
Matt