update comment [skip ci]

Author: joshuanianji

base.Dockerfile

@@ -47,7 +47,7 @@ RUN make bootstrap SCHEME=scheme && make install
 # in my experience, the Idris2 API seems to still work without the self-hosting step
 # At least, it builds the idris2-python correctly (although i haven't checked anything else)
 # to be safe, I'll do this step anyway
-# NOTE: i don't think the install-api transfers to the child images!
+# NOTE: not sure if the install-api transfers to the child images
 RUN make clean && make all && make install
 RUN make install-api