Minor updates and fixes

Additional suggestion: Add a link to a bot that implements intermediate rules but is not open-source.