Update bug #1025/1026 section on discussion.

Updated bug #999 section in discussion.

Updated #1003 info on discussion page.

add important clarification of #1033

Update ongoing grant discussion

Update ongoing grant discussion

Update ongoing grant discussion

Update ongoing grant discussion

Update ongoing grant discussion

Realised there's already discussion page.

Added page where ongoing grant answers will be.

add more recent gentoo archive.org snapshot

add stage3 tarball and sha256 checksum

sigh and remove the minus, convention is underscores, sigh

move debian sffs page to different location

move gentoo sffs page to different location

Allow choosing an alternate Debian mirror for the chroot

git_repos_summary: New page for summarising git repos.

inorder_model: Documentation of the code so far.

Removed reference to scripts as they are not needed, removed reference to tarball

Revamped the rebuild process and made it reproducible without a custom tarball

Create gentoo-sffs page

Fixed markdown formatting typo

Completed the guide, added notes and issues. Missing links

Explain why we need sffs, script names

add 8x8 meet iframe

microwatt: Add a bit more to Linux section.

use sfpy.patch too

HDL_workflow.mdwn: Moved some info to 'why' section

HDL_workflow.mdwn: Info on searching for bugs.

HDL_workflow.mdwn: Added some more on linking bugs.

microwatt.mdwn: Fix section on disassembly.

minor rework of po9_encoding table

missed SVRM key definition in new po9_encoding table

redo PO9 encoding table so that:
* bit 6 is "prefix is EXT0xx or EXT2xx
* bit 7 is "Loop-Prefixed (SVP64) or Scalar-Extended (SVP64Single)

mistaken entry of EXT232-263 when it should be EXT200-263

missing bolding

ls2: Fix order of env vars.

ls2: Forgot to include fpga tools devscript.

inorder_model: Center table columns.

inorder_model: Added pipelines vs fsm diagram.

inorder_model: Formatting fixes.

inorder_model: Document single-issue in-order model task.

make biginteger pdfs too

fix missing p in post-increment load/stores

rename shadd* -> sadd* in ls012/optable.csv to match ls004

gen_core_with_svp64: Fixed make command

gen_core_with_svp64: Fix title, commands, a few details.

microwatt.mdwn: Added to using Libre-SOC core.
gen_core_with_svp64.mdwn: New file explaining how to add SVP64 to LS core.

HDL_workflow.mdwn: Fixed link

HDL_workflow: Fix to 80 chars per line

HDL_workflow.mdwn: Added info on milestones and budgets.

Added bug links

HDL_workflow.mdwn: Started adding info on how to raise issues.

fix docs for updated maddsubrs/maddrs/msubrs

fix wrong paste of pseudo-code

update pseudo-code

sync fminmax pseudocode fixes from openpower-isa.git