Merge ai4rdev into main (this apparently reverts "removed build install log")

This merge was performed after merging all the other branches together This reverts commit 39c37bde.