The “main conjectures” of Iwasawa theory for imaginary quadratic fields — latest news, discussion & facts — IJR