Merge branch 'main' of https://www.ict.inaf.it/gitlab/davide.ricci/noctua

# Conflicts:
#	noctua/config/devices.ini