ok, based on the gitissue discussion I will make sure to install the version I want 8.14.0 or close to that using the interactive coq plataform script since manual opam didn’t quite work (from this Class 6: Tactics)
to make it less confusing I will try to base my discussion on the gitissue: issues installing coq from plataform script · Issue #219 · coq/platform · GitHub and respond there.