alerque [1] filed a request to merge webots [2] into webots-bin [3]: This fetches the upstream built binary, so it should be called -bin and make room for a source build if somebody wants to put that together.
[1] https://aur.archlinux.org/account/alerque/ [2] https://aur.archlinux.org/pkgbase/webots/ [3] https://aur.archlinux.org/pkgbase/webots-bin/
