Add new ED to website

[david-christiansen]

This re-enables the "Executive team" section and adds me and my picture to it.

The existing pictures are not entirely consistent - some have lower resolution and a white circle, others are larger with a transparent border around the circle. I opted for the latter in the interests of flexibility, but in case I missed some commonality, I'm happy to modify it.

[david-christiansen]

I don't understand the CI failure here. It looks like it's attempting to deploy the site somewhere, but that it's not doing so. But there's no error message.

Any suggestions on where to start diagnosing the issue?

[goldfirere]

One possible oversight; otherwise good. You're right that the images are non-uniform, something I discovered recently, too. I think this is historical accident. Your picture renders well on my screen.

[goldfirere]

The CI failure is expected. (I'm not sure how all the belts and gears work here.) To test, stack exec -- site build or cabal run -- site build locally, and then examine _site/index.html. When you merge, deployment is automatic and appears to work reliably.

For what it's worth, I tested this on my own machine, and all looks good.

Fixing the CI failure on branches appears to be the subject of #170, but I have not looked at this myself.

[david-christiansen]

It looks good with a local test on my end too.

[goldfirere]

I took the liberty to merge. In general, I'm unaware of a specific protocol for who is supposed to merge for these PRs -- feel free to set down your own desired workflow here. :)

[david-christiansen]

I generally like workflows where people don't merge their own PRs, assuming there's sufficient collaborators to make that practicable. Thanks!