x87 and gitbook-bot GitBook: [#485] No subject