contributing develop development gh-pages log master mdbook next pages prettify revert-482-bump-mdbook skeptic sql-transaction-patch