Merge proposals

edenmath.app in Ubuntu has no merge proposals.