Added an optional - magma tag to obtain 100% doctest completion