I was browsing https://twrp.me/Devices/ wondering if TWRP is available for Samsung Galaxy Note 1 (GT-N7000, or GT-N7000B in my specific case).
Only the T-Mobile (quincytmo) and AT&T (quincyatt) versions are listed there, which seems strange to me as the international version should be more common.
Am I doing something wrong, or is TWRP not available for the GT-N7000? If so, what should I use instead?