Who are the people that use HN and would notice it moved hosting, but haven’t heard of Digital Ocean?