index: Make the update warning more prominent
Use warning
so we don't forget to update the corresponding
files in the repos that use this repo as git submodule.
See: https://source.puri.sm/Purism/docs.puri.sm/-/merge_requests/128
Edited by Guido Gunther