https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81084
--- Comment #9 from Andrew Jenner <andrewjenner at gcc dot gnu.org> --- Sorry for the lack of comment from me - I only just saw this bug (I was not receiving email from bugzilla but hopefully I have fixed this now). I am part-way through the cleanup. I will commit what I have so far before the end of January if it is not finished - there may be more to come after that.
