Hello, I'm preparing to print my first project on a Bukobot-v2-Vanilla using PLA. I went through the checklist and all is clear. What is not clear is what to do when the printing is complete. Should I remove the filament from the nozzle and keep the extruder hot until the PLA is evacuated? Or just leave the filament in-place and let it harden in-situ? Your help is appreciated.