This is really neat, and it's clear a lot of work went into the polish and interactivity. I'd love to see the elimination examples extended to show how LU factorization falls out of those steps. It seems like a key thing to grasp and lays the groundwork for understanding of related matrix factorizations like symmetric, QR and singular value decomposition.