The update to users.html was merged and will be there shortly: https://review.coreboot.org/c/homepage/+/35957/1