Update HTML to match the std-lib.
Mention license for Agda standard library.