Joined 4 years ago
https://gitdot.io/bkdevs/gitdot/files
If it's just autocomplete, then there is no need to worry about it. Especially from an ethical standpoint.