vhdlablvector(3) on Linux

The text 05abb126dba6, as Debian 10 (Buster), Debian 9 (Stretch) shipped it. The page shows this text now.

gives the index and the name of a vectorized name.