caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ ce9b4068190f6b5b4b92b9deb3fdcace0c6345ea

caryoscelus ce9b406819 [ #5793 ] JS backend: allow choosing CJS or AMD module style		%!s(int64=2) %!d(string=hai) anos
..
HCAR	c6423f0872 correct my name	%!s(int64=5) %!d(string=hai) anos
license-report	4cb5321075 [ doc ] Fix a cabal option mistake for license-report	%!s(int64=3) %!d(string=hai) anos
release-notes	d8b06a90ee Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md	%!s(int64=3) %!d(string=hai) anos
user-manual	ce9b406819 [ #5793 ] JS backend: allow choosing CJS or AMD module style	%!s(int64=2) %!d(string=hai) anos