Better written as `FIXME #12884: no efficient/safe way to remove from the start of a string and reuse the allocation`.