Mountain-Hiker-1 on "[Plugin: WP Super Cache] Can't delete mobile device html cache entries"

I can delete single entries of desktop cache entries in the form /filename/ from the list of cached files, but I cannot delete single entries of mobile device cache entries in the form /filename/index-mobile.html unless I delete all cache entries.

Anyone else notice this?

https://wordpress.org/plugins/wp-super-cache/