There appears to be a connection eastish from https://www.openstreetmap.org/node/12472681699 per Mapillary. And it looks like it has a deadend offshoot shouthwestish. There is also at least a paved section at https://www.openstreetmap.org/node/12472688951 per Mapillary by the bike shed. There appear to be footway remnants north of https://www.openstreetmap.org/way/945615994, but probably not worth mapping if they don't connect to anything.