Manpages of arduino-builder in Debian experimental