...obtained from the old .rdb files via "unoidl-read --published".  This removes
the need for update-rdb.sh.

Change-Id: I73c0d026af7e27370602f83c61dfa76fc4d17a83