We are going to take this opportunity to make sure that devel and master are more up-to-date with each other and previous work from devel is incorporated into the default branch. This will mostly be to get rid of some inconsistencies in documentation and to resolve security vulnerabilities.