spec: Clarify Array element needs to be padded even if inexistent

11 jobs for spec-correction in 9 minutes and 14 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #7869921
build:cmake

00:03:06

passed #7869918
build:debug

00:06:29

manual #7869923
allowed to fail manual
build:i686-w64-mingw32-cmake
passed #7869922
build:i686-w64-mingw32-debug

00:04:38

manual #7869920
allowed to fail manual
build:legacy
passed #7869917
build:production

00:03:45

manual #7869919
allowed to fail manual
build:reduced
manual #7869926
allowed to fail manual
build:stretch
passed #7869924
build:x86_64-w64-mingw32

00:05:24

passed #7869925
build:x86_64-w64-mingw32-cmake-debug

00:09:13

manual #7869927
allowed to fail manual
build:xenial