real_isabelle author data searchable via API