Old .deleted file in pg_wal

Hello,

There is a file in my pg_wal directory called
"000000010000003B000000D0.deleted", last modified in December 2020, and
has survived PG & server restarts.  I've been having some errors with
WAL files
(/messages/by-id/095ccf8d-7f58-d928-427c-b17ace23cae6@burgess.co.nz)
and would like to tidy this file if safe to do so.

I think this is where the file gets created:
https://github.com/postgres/postgres/blob/ca3b37487be333a1d241dab1bbdd17a211a88f43/src/backend/access/transam/xlogarchive.c#L406

Based on that I'm pretty sure it is OK to delete a ".deleted" WAL file,
but thought I would check in case anyone suggests otherwise.

Thanks

Guy