I found the manager on duty and explained what I witnessed.

path on GitHub

random

tags

where