Build #41:   Use official pre-commit action instead of DIY on branch master almost 6 years ago