Old .deleted file in pg_wal

[Guy Burgess <guy@xxxxxxxxxxxxx>]

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 
(https://www.postgresql.org/message-id/flat/095ccf8d-7f58-d928-427c-b17ace23cae6%40burgess.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