Tiny files hosting for OSEG Just hosting a few small files, to be linked to elsewhere. For the beginning (October 2023), it are README badges, used mostly from other GitHub projects READMEs.
