In the end, yes, it was safe for me to delete this file. SHRINKFILE wasn't working consistently (don't know why, probably something basic), and deleting the file worked perfectly.
Kind of a voodoo move, yes, but the file was automatically recreated and no problems occurred.