Misc #0000: Devel version and warning message.