Although this looks like a solution to that? https://www.dlitz.net/stuff/pre-tag-overflow/