The documentation of SmallestMultiplicationTable is wrong

[james-d-mitchell]

The doc for SmallestMultiplicationTable states

Returns: The lex-least multiplication table of a semigroup.

but as reported by Mikolas Janota, the table returned by this function is not always lex-least:

gap> S := SmallSemigroup(5, 29);
<small semigroup of size 5>
gap> SmallestMultiplicationTable(S);
[ [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 3, 2 ] ]
gap> S := MultiplicationTable(S);
[ [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 3, 2 ] ]
gap>   Minimum(Orbit(SymmetricGroup(Size(S)), S, OnMultiplicationTable));
[ [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 1, 1 ], [ 1, 1, 1, 2, 3 ] ]

I think the best way to resolve this is to just change the doc.