Excellent decision. WebP is often not smaller than JPEG, hosting accounts are often limited in space, and a CMS really has no business changing image formats and filenames without this being expressly chosen by the site admin.