# Foo = "http://example.com"
# means that /foo will redirect to the specified URL
# (The created redirects are always lowercase.)
# When aliases are specified they become redirects as well.
# The sections do not affect the redirects at all and
# are only used to group the links in the HTML index.

["Programming languages"]
D = "https://dlang.org/spec/spec.html"
Dart = "https://dart.dev/guides/language/spec"
ECMAScript = { url = "/es11", aliases = ["JavaScript", "js"] }
Go = "https://golang.org/ref/spec"
Haskell = { url = "https://www.haskell.org/onlinereport/haskell2010/", aliases = ["hs"] }
Java = { url = "/jls15", aliases = ["jls"] }
Kotlin = "https://kotlinlang.org/spec"
Lua = "http://www.lua.org/manual/5.4/"
PHP = "https://phplang.org/"
Python = { url = "https://docs.python.org/reference/", aliases = ["py"] }
R = "https://cran.r-project.org/doc/manuals/r-release/R-lang.html"
Rust = { url = "https://doc.rust-lang.org/stable/reference/", aliases = ["rs"] }
Zig = "https://ziglang.org/documentation/0.7.1/"

C99 = "http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf"
C11 = "http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf"
C17 = "http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2310.pdf"

CPP11 = "http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf"
CPP14 = "http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3797.pdf"
CPP17 = "http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4659.pdf"

ES6 = "https://262.ecma-international.org/6.0/"
ES7 = "https://262.ecma-international.org/7.0/"
ES8 = "https://262.ecma-international.org/8.0/"
ES9 = "https://262.ecma-international.org/9.0/"
ES10 = "https://262.ecma-international.org/10.0/"
ES11 = "https://262.ecma-international.org/11.0/"

jls6 = "https://docs.oracle.com/javase/specs/jls/se6/html/j3TOC.html"
jls7 = "https://docs.oracle.com/javase/specs/jls/se7/html/index.html"
jls8 = "https://docs.oracle.com/javase/specs/jls/se8/html/index.html"
jls9 = "https://docs.oracle.com/javase/specs/jls/se9/html/index.html"
jls10 = "https://docs.oracle.com/javase/specs/jls/se10/html/index.html"
jls11 = "https://docs.oracle.com/javase/specs/jls/se11/html/index.html"
jls12 = "https://docs.oracle.com/javase/specs/jls/se12/html/index.html"
jls13 = "https://docs.oracle.com/javase/specs/jls/se13/html/index.html"
jls14 = "https://docs.oracle.com/javase/specs/jls/se14/html/index.html"
jls15 = "https://docs.oracle.com/javase/specs/jls/se15/html/index.html"

["Internet protocols"]
IPv4 = "https://tools.ietf.org/html/rfc791"
IPv6 = "https://tools.ietf.org/html/rfc8200"
TCP = "https://tools.ietf.org/html/rfc793"
UDP = "https://tools.ietf.org/html/rfc768"
TLS = "https://tools.ietf.org/html/rfc8446"
ARP = "https://tools.ietf.org/html/rfc826"
ICMP = "https://tools.ietf.org/html/rfc792"
ICMPv6 = "https://tools.ietf.org/html/rfc4443"
DHCP = "https://tools.ietf.org/html/rfc2131"

["Application layer protocols"]
DNS = "https://tools.ietf.org/html/rfc1035"
mDNS = "https://datatracker.ietf.org/doc/html/rfc6762"
DNSSEC = "https://tools.ietf.org/html/rfc4033"
Whois = "https://tools.ietf.org/html/rfc3912"
HTTP = "/http/1.1"
"HTTP/1.0" = "https://tools.ietf.org/html/rfc1945"
"HTTP/1.1" = "https://tools.ietf.org/html/rfc2616"
"HTTP/2" = "https://tools.ietf.org/html/rfc7540"
"HSTS" = "https://tools.ietf.org/html/rfc6797"
Basic-Auth = "https://tools.ietf.org/html/rfc7617"

FTP = "https://tools.ietf.org/html/rfc959"
BitTorrent = "http://bittorrent.org/beps/bep_0003.html"
NTP = "https://tools.ietf.org/html/rfc5905"
ACME = "https://tools.ietf.org/html/rfc8555"

SMTP = "https://tools.ietf.org/html/rfc5321"
POP = "https://tools.ietf.org/html/rfc1939"
IMAP = "https://tools.ietf.org/html/rfc3501"

WebDAV = "https://tools.ietf.org/html/rfc4918"
CalDAV = "https://tools.ietf.org/html/rfc4791"
CardDAV = "https://tools.ietf.org/html/rfc6352"

IRC = "https://tools.ietf.org/html/rfc1459"
XMPP = "https://tools.ietf.org/html/rfc6120"
Matrix = "https://matrix.org/docs/spec/"
Gopher = "https://tools.ietf.org/html/rfc1436"
Gemini = "https://gemini.circumlunar.space/docs/specification.html"

# TODO: add ssh (multiple rfcs)

["Web specs"]
ARIA = "https://www.w3.org/TR/wai-aria-1.2/"
WCAG = "https://www.w3.org/TR/WCAG21/"

CSS = "https://www.w3.org/TR/CSS/"
WASM = "https://webassembly.org/specs/"
WebSocket = { url = "https://tools.ietf.org/html/rfc6455", aliases = ["ws"] }
CSP = "https://www.w3.org/TR/CSP3/"
Trusted-Types = "https://w3c.github.io/webappsec-trusted-types/dist/spec/"

".well-known" = "https://tools.ietf.org/html/rfc5785"
WebFinger = "https://tools.ietf.org/html/rfc7033"
"robots.txt" = "https://datatracker.ietf.org/doc/html/draft-koster-rep-06"

ActivityPub = "https://www.w3.org/TR/activitypub/"
Webmention = "https://www.w3.org/TR/webmention/"

OAuth = "https://tools.ietf.org/html/rfc6749"
OIDC = "https://openid.net/developers/specs/"
SAML = "https://wiki.oasis-open.org/security/FrontPage#SAML_V2.0_Standard"
PKCE = "https://datatracker.ietf.org/doc/html/rfc7636"

["Browser APIs"]
Credential-Management = "https://www.w3.org/TR/credential-management-1/"
WebAuthn = "https://www.w3.org/TR/webauthn/"
fetch = "https://fetch.spec.whatwg.org/"

["Other protocols"]
LSP = "https://microsoft.github.io/language-server-protocol/specifications/specification-current/"
Wayland = "https://wayland.freedesktop.org/docs/html/"

["File formats"]
RSS = "https://www.rssboard.org/rss-specification"
Atom = "https://tools.ietf.org/html/rfc4287"
iCal = "https://tools.ietf.org/html/rfc5545"
EPUB = "https://www.w3.org/publishing/epub3/epub-spec.html"
PostScript = "https://www.adobe.com/content/dam/acom/en/devnet/actionscript/articles/PLRM.pdf"
PDF = { closed = "The latest PDF standard is only available for purchase from ISO." }
PNG = "https://www.w3.org/TR/PNG/"

["Markup languages"]
XML = "https://www.w3.org/TR/xml11/"
HTML = "https://html.spec.whatwg.org/multipage/"
# TODO: also redirect subpaths for html e.g. /html/parsing -> /multi-page/parsing.html
MathML = "https://www.w3.org/TR/MathML3/"
SVG = "https://www.w3.org/TR/SVG11/"
CommonMark = "https://spec.commonmark.org/"
GitHub-Flavored-Markdown = { url = "https://github.github.com/gfm/", aliases = ["GFM"] }
reStructuredText = { url = "https://docutils.sourceforge.io/docs/ref/rst/restructuredtext.html", aliases = ["RST"] }

["Serialization formats"]
JSON = "https://tools.ietf.org/html/rfc8259"
YAML = "https://yaml.org/spec/1.2/spec.html"
TOML = "https://toml.io/en/latest"

["JSON specs"]
JWT = "https://tools.ietf.org/html/rfc7519"
JWS = "https://tools.ietf.org/html/rfc7515"
JWK = "https://tools.ietf.org/html/rfc7517"
JSON-Schema = "https://json-schema.org/specification.html"
JSON-LD = "https://www.w3.org/TR/json-ld/"

["PASETO"]
PASETO = "https://github.com/paseto-standard/paseto-spec"
PASERK = "https://github.com/paseto-standard/paserk"

["Query languages"]
SQL = { closed = "The SQL standard is only available for purchase from ISO." }
SPARQL = "https://www.w3.org/TR/sparql11-query/"
GraphQL = "https://spec.graphql.org/June2018/"

[Miscellaneous]
Unicode = "https://unicode.org/standard/standard.html"
URI = "https://tools.ietf.org/html/rfc3986"
URN = "https://tools.ietf.org/html/rfc8141"
mailto = "https://tools.ietf.org/html/rfc6068"
Open-Graph-Protocol = { url = "https://ogp.me/", aliases = ["OGP"] }
TOTP = "https://datatracker.ietf.org/doc/html/rfc6238"

["Operating systems"]
POSIX = "https://pubs.opengroup.org/onlinepubs/9699919799/"
"posix.tgz" = { url = "https://pubs.opengroup.org/onlinepubs/9699919799/download/susv4-2018.tgz", hidden = true }
FHS = "https://refspecs.linuxfoundation.org/FHS_3.0/fhs-3.0.html"
LSB = "https://refspecs.linuxfoundation.org/lsb.shtml"

[RDF]
RDF = "https://www.w3.org/TR/rdf11-concepts/"
RDFa = "https://www.w3.org/TR/rdfa-primer/"
Turtle = "https://www.w3.org/TR/turtle/"

["XDG specs"]
"xdg/autostart" = "https://specifications.freedesktop.org/autostart-spec/autostart-spec-latest.html"
"xdg/basedir" = "https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html"
"xdg/desktop-entry" = "https://specifications.freedesktop.org/desktop-entry-spec/desktop-entry-spec-latest.html"
"xdg/icon-naming" = "https://specifications.freedesktop.org/icon-naming-spec/icon-naming-spec-latest.html"
"xdg/icon-theme" = "https://specifications.freedesktop.org/icon-theme-spec/icon-theme-spec-latest.html"
"xdg/menu" = "https://specifications.freedesktop.org/menu-spec/menu-spec-latest.html"
"xdg/mime-apps" = "https://specifications.freedesktop.org/mime-apps-spec/mime-apps-spec-latest.html"
"xdg/mpris" = "https://specifications.freedesktop.org/mpris-spec/latest"
"xdg/notification" = "https://specifications.freedesktop.org/notification-spec/notification-spec-latest.html"
"xdg/recent-file" = "https://specifications.freedesktop.org/recent-file-spec/recent-file-spec-latest.html"
"xdg/secret-service" = "https://specifications.freedesktop.org/secret-service/latest/"
"xdg/shared-mime-info" = "https://specifications.freedesktop.org/shared-mime-info-spec/shared-mime-info-spec-latest.html"
"xdg/sound-naming" = "https://specifications.freedesktop.org/sound-naming-spec/sound-naming-spec-latest.html"
"xdg/sound-theme" = "https://specifications.freedesktop.org/sound-theme-spec/sound-theme-spec-latest.html"
"xdg/systemtray" = "https://specifications.freedesktop.org/systemtray-spec/systemtray-spec-latest.html"
"xdg/thumbnail" = "https://specifications.freedesktop.org/thumbnail-spec/thumbnail-spec-latest.html"
"xdg/trash" = "https://specifications.freedesktop.org/"
"xdg/wm" = "https://specifications.freedesktop.org/wm-spec/wm-spec-latest.html"
"xdg/xembed" = "https://specifications.freedesktop.org/xembed-spec/xembed-spec-latest.html"
"xdg/xsettings" = "https://specifications.freedesktop.org/xsettings-spec/xsettings-latest.html"