Thanks for sharing this information @HeinrichGeiger! Clearly, CAN interrupts are far less straightforward/intuitive than those for other communication protocols like USART or SPI. Your contribution will be a great resource for others in the future.
All the best with the remainder of your project!
-Matt