Contributing to prebuild

no commits direct to master
all commits as pull requests (one or several per PR)
each commit solves one identifiable problem
never merge one's own PRs, another contributor does this