@UlrikeFischer yeah, I wonder what's gone wrong and where, and whom to best report this :-) (it came from a user obviously, and switching to lualatex with \setmainfont{Gentium Plus} does the trick)
Are there any advantages/disadvantages of using tocloft vs float for new lists? Especially when using titlesec I'd prefer to use titletoc for contents lists, but for new lists I've always liked tocloft but that's not a good plan to combine with titletoc I think.
@DavidCarlisle Yes, but in this context(pun...) it would perhaps have been more natural/fun to refer to DEK as the creator of Metafont, and maybe one of the first users (?) of MetaPost.
@AlbertNash I know,that is expected, you can only ping people who have been here in the last few days, unless you are a site moderator with extra powers
@UlrikeFischer No. It's long for a reason. The examples demonstrates various spacing issues connected to the mathrelation category of glossaries-extra. You can easily solve each single issue at a time but the cost would be a problem or a nuisance arising elsewhere. So the issues have to be considered together.
@AlbertNash it is too long to get help, at least from me. If I can already see that I will have to invest half an hour to understand the problem and to reduce the code to something one can debug I simply quit. Don't forget that the people here help for free, so don't expect an all-round support.
@UlrikeFischer Fair enough. The question is directed primarily to Nicola anyway (I failed to register at her site for technical reasons, and she knows this). Still, if anyone else feels like wishing to provide an answer, I won't object, naturally.