added workaround links before Agda issue 1231 is fixed
began implementing suggestions after review 1 of report