Follow-up: sometimes it’s not “just gas”. I’m glad now that I contacted my doctor, out of what I thought was a bit of paranoid concern for the worst.