Document and release 4.6.5+ds-1pureos3
jenkins on the arm machine seems to have some trouble with a gtk-builder-tool validate $ui_file
,
so we're helping it along.
It doesn't fail on local builds and it does not seem like a critical test, so we will skip it.