Japan's IC cards are weird and wonderful

You do not need NixOS on the desktop