Version used in 2025 paper on hyperboloidal initial data.