Update 'built in' info (#12180)

<!-- readthedocs-preview docs start -->
---
:books: Documentation previews :books:

- User's documentation (`docs`):
https://docs--12180.org.readthedocs.build/12180/

<!-- readthedocs-preview docs end -->

<!-- readthedocs-preview dev start -->
- Developer's documentation (`dev`):
https://dev--12180.org.readthedocs.build/12180/

<!-- readthedocs-preview dev end -->

Author: verisimilidude2

docs/user/intro/doctools.rst

@@ -72,6 +72,9 @@ Below is a list of popular documentation tools that you can use to write your do
         Supported formats
              :bdg-success:`md`
 
+        Written in
+             :bdg-info:`typescript`
+
     .. grid-item-card::  Antora
         :link: antora.html