Anet A8 X-Axis Mounts for Toothed Idler Pulley

I bought a couple of these recently (in the "20T ID3 OD18 W6" variety, though in hindsight maybe the "16T ID3 OD13 W6" variety may have been more appropriate) to replace the pairs of bearings the A8 uses as belt idlers:

https://www.aliexpress.com/item/GT2-Idler-Timing-Pulley-16-20-Teeth-Passive-Synchronous-Wheel-Bore-3mm-5mm-Aluminum-Timing-Pulley/32817701071.html?spm=a2g0s.9042311.0.0.75d04c4dKwhA35

I put one on the Y-axis tensioner (https://www.thingiverse.com/make:520391) easily enough,