rename display_error.html to error.html (it is in general use, not just for "display" view's error messages)
generalize and deduplicate LockView / UnlockView
rename lock view module to setkv as it is more general now