[ Cosmetic changes ] Grouped precedence declarations
[auto] merge master into gh-pages
[auto] updated html listings