What powers texdev.net?
Last seen Sep 2026 · 10 technologies across 8 categories
Caching
Varnish
since Jul 2022
CDN
Fastly
since Jul 2022
Font scripts
Font Awesome
since Jul 2022
Google Font API
since Jul 2022
Hosting
IONOS
since Dec 2022
Miscellaneous
Open Graph
since Dec 2022
RSS
since Dec 2022
PaaS
GitHub Pages
since Jul 2022
Programming languages
Ruby
since Dec 2022
Static site generator
AI Crawlers
Doesn't mention any of the 33 AI crawlers we track in its robots.txt; all are allowed by default. Checked Oct 2026.
- robots.txt found
- llms.txt not found
- ai.txt not found
AI Crawlers
No AI crawlers blocked
Open Page Rank
2.77 / 10 · ranked #2,039,542 of all domains
32 referring domains · OpenPageRank
Infrastructure
- Hosted on Fastly (185.199.108.153)
- DNS: IONOS
- Email: IONOS
- Email security: SPF (soft fail), DMARC monitor only
- SSL: Let's Encrypt, RSA 2048, expires Nov 2026
- Common Crawl link graph: rank 1,070,426, 2 hosts
- Verified with: Google
DNS records as swept Oct 2026, certificate as seen Oct 2026. How the web is hosted