Merge remote-tracking branch 'mainstream/master' into ja

Conflicts:
  .github/workflows/mdbook.yml
  book.toml

...those files are kept as is in the current ja branch.

Author: gemmaro