We will have to somehow annotate examples ({server, file, notebook} x {animated, skip, ...} x ...), so that we don't have to do this here. Anyway, good for now.