So I know now that Kotatsu app is dead. Seems Mihon is still kicking? Is there a particular extension repo I should know about or is the keiyoushi one good enough?