Thanks for this! I also like Pointer, although they have more and more sponsored stuff lately imo. Terminal trove sounds great, I like terminals a lot (who doesn't)