There is already a function Get_JSON5, and the name of the function suggests that it’s a general function.
However, it does something that is specific to Cider’s config file.
Therefore that function needs renaming, and we should have a general function Get_JSON5 instead, because it's needed.
(Check also Put_JSON5)