[bravetraveler]

Same here, found the two following IPs with the same hostkey:

    - 192.30.253.112
    - 140.82.114.3

WHOIS shows github ownership, just not sure when/how/why I got these