This is a mini-project I created while experimenting, because the original TWiLightMenu doesn't work on such cartridges, including mine.
It was created from TWiLightMenu files and the Pico Ace3DS firmware, or rather, only their _dsmenu files and similar ones.
Result: Everything works, tested...