LICENSE: BitstreamVera PR: r7 PV: 2.37