I never filed a bug for it, for several reasons: because I couldn't imagine it not being fixed by the time I would have first considered actually switching to 18.04
If devs don't know about it then it wouldn't get fixed
2 Likes