Version 1.3

No changes other than number, I didn’t realize there were already “Tags” for Releases on GitHub so this just aligned them.