I'm happy to hear both you and your girlfriend had fun playing! :)
That's actually a minor plugin I made myself (though it's mostly cobbled together from edits of the default code). Since I rarely make games with battles, I made it to get rid of the unnecessary things.