Everyone's favourite text editor BBEdit has been updated to version 13.1.3

This update is simply a bug fix there are no new features.

The release notes are here.