In any case, there is nothing we can do to change the installation media on 13.1 after it's been released.