Merge proposals

UberWriter (moved to github!) has no merge proposals.