readthedocs badge and GNU GPL v3.0 license