@emsenn Formal language seem o be a bit more broad term. While it certainly covers Computer languages (both programming and markup), it covers things like math notation, and natural languages (e.g. Formalized subset of English, invented languages such as Klingon or Esperanto, etc.).
status.pointless.one is one server in the network