mono: Rename or remove various Mono-specific libraries. #161

Closed madewokherd closed 1 year ago