Determining filename in pcbnew Python scripting interface

I’m working on a script for tweaking my annotations, and I’d like my script to be able to save the design automatically afterwards. I found pcbnew.SaveBoard(), but it looks like it wants a filename argument. Is there any way for me to automatically determine what filename is currently open so that I can pass it to SaveBoard()?

Never mind - I figured it out! I wanted pcbnew.GetBoard().GetFileName()