I also noticed https://getputty.org is as well.