Very nice! Just for the sake of completeness, here are a few other resources related to the double pendulum.
Wolfram Language knows this system and its properties, for example:

You can ask Wolfram|Alpha and get complete equations of motion, plots, and even interactive interfaces!
There is a complete example in docs.

There is an article in ScienceWorld. In contrast with Wikipedia, that considers joined rods system with distributed mass, the ScienceWorld shows equations for exactly your system of coupled masses:

There is a demonstration by Rob Morris: Double Pendulum
