Split out markdown library?

[locallycompact]

Hi, this seems to be the only markdown parser in idris 2 that I can find. Can it be split out into a separate library?

[l-monnier]

Hello,

I've done so, see my repo.

It would however probably better to have it under idris-community. Could someone fork it if you agree?
I could then create a pull request to add it to Pack collection.