General information for developers: Design notes about the Mercury implementation as a whole: Design notes about specific aspects of the Mercury implementation: Issue lists. These are rarely updated, so they tend to be greatly out of date.