Document and mark workarounds.
Remove old Ubuntu workaround.
Get rid of most @property's.

They were problematic because they're executing hidden code, and also PyQt
hides exceptions happening inside them.