Force hackage version badge refresh