Commit push

[*] The way plugins are loaded now requires the hash. This can be
avoided by having our own servers that do not indefinitely cache things.