Thanks for all appreciations made so far, but RandomFont is no longer maintained as a dedicated website. The budget for the domain name has been cut. However, it still works as a subpage under my personal website.