There is currently no wiki page for the tag "tiny_hat". You can create one.
This tag has been aliased to mini_hat (learn more).