(Before we somehow used the runtime dependency on py-pyyaml.)

That's the first version that should really work :); rc1 experienced
scheduling problems when multiple users were accessing the same hardware
resource in parallel.