You can buy this project and download/modify it how often you want.
Files of the artifact refined4s-circe_3 version 1.0.0 from the group io.kevinlee.