Resolve "Sort the lists of annotators in Select annotators and Select valid annotators"

Closes #815 (closed)

changed milestone to %v13.1.0~beta.1

added graphics; css; layout label

enabled an automatic merge when the pipeline for 503d2b67 succeeds

canceled the automatic merge

merged

mentioned in commit d2c901d4