General information for developers: Design notes about the Mercury implementation as a whole: Design notes about specific aspects of the Mercury implementation: Issue lists: