Hi Michal,
https://tex.stackexchange.com/q/415418/2891
Reading that, Nasser apparently had trouble with these new files.
Is it settled? Should I push them to TL?
+\<fveb8r\><<<
+.pcrro8r
+htfcss: fveb8r font-weight: bold;
I guess because pcrro8r.htf is the only fully-populated *8r.htf?
How weird ... --thanks, karl.
