simplified documentation for SequenceCollection.degap()