The idea was to write on Docbook to be able to copy and paste the spec into the Developer's Guide. However, writing a quickly changing document in Docbook turned out to be complicated. RST is faster to update and can be converted into nice HTML using docutils.