Removes a bug that led to loss of server_version.
Display restoration message only when content actually differs.
Implements major/minor version numbers.

Finally, version numbers that allow for more predictive localStorage
management.
Merge branch 'feature/better-localstorage'
Rudimentary support for dl blocks.
First version of data-placeholder for dd text.
Adds JS-support to hide placeholders.