submit

Disable xmllint in the a2x call in doc/Makefile

Update the uiae.at URLs, dropping the /~michi/ path component

Give GTK+ a chance to process destruction events without a mainloop

[po/de.po] Fix a small but annoying format string error

tihs → this in doc/manual.adc