Many of us have, including many other bugs which still arent fixed. It’s much more likely to get something fixed by creating a public PR problem for them. Bug reports are easier to sweep under the rug and ignore
No need to make a petition, its definitely not working as it did in 1.12