Bibliography: Agda papers

Configure HTML export