Re: github tech note

I'm guessing this account hasn't been used since 2016, other than to suddenly and mysteriously follow me. I would guess the following of me is not from the original owner of the account, but don't know.