DejaVu
The DejaVu fonts are a font family based on the Bitstream Vera Fonts release 1.10. Its purpose is to provide a wider range of characters while maintaining the original look and feel through the process of collaborative development.
It appears to me that this really ought to be part of the Bitstream Vera project or considered a sandbox for expanding the font, but…