[New: openFATE 313572] vga library request.