@@ … @@ import line format is very restrictive

[RexJaeschke]

There must be exactly one space after the first @@ and before the second @@. This is a bit harsh, especially since no warning is given; the example simply isn’t imported!