Short maintenance to fix monitoring (alloy <-> docker) to figure out why homework checking does not work properly. Thanks for your understanding!