docs: describe artifact final number / prompt artifact re-verification

AnkiDroid/robolectricDownloader.gradle

@@ -12,6 +12,7 @@ import java.nio.file.Files
 
 // List from: https://github.com/robolectric/robolectric/blob/master/robolectric/src/main/java/org/robolectric/plugins/DefaultSdkProvider.java
 // This list will need to be updated for new Android SDK versions that come out.
+// Note: the PREINSTRUMENTED_VERSION constant is what you put on the end of the artifact
 
 // Only the versions currently used in AnkiDroid Robolectric tests are active, the rest are commented out
 // To update these versions, open a terminal in the Anki-Android directory and perform the following steps:
@@ -43,6 +44,7 @@ tasks.register('robolectricSdkDownload') {
 
 // Generate the configuration and actual copy tasks.
 robolectricAndroidSdkVersions.forEach { robolectricSdkVersion ->
+    // the final part of this `-i<number>` comes from PREINSTRUMENTED_VERSION in upstream DefaultSdkProvider
     def version = "${robolectricSdkVersion['androidVersion']}-robolectric-${robolectricSdkVersion['frameworkSdkBuildVersion']}-i7"
 
     // Creating a configuration with a dependency allows Gradle to manage the actual resolution of

gradle/libs.versions.toml

@@ -93,6 +93,7 @@ nanohttpd = "2.3.1"
 okhttp = "4.12.0"
 # https://github.com/protocolbuffers/protobuf/releases
 protobufKotlinLite = "4.28.3"
+# ../AnkiDroid/robolectricDownload.gradle may need changes - read instructions in that file
 robolectric = "4.14"
 searchpreference = "2.5.1"
 seismic = "1.0.3"